Code

feat: goal-diffs#1610

Code

Merged

Kha merged 18 commits intoleanprover:masterleanprover/lean4:masterfrom EdAyers:goal-diffEdAyers/lean4:goal-diffCopy head branch name to clipboardSep 24, 2022

+782-16

Commits

Commits on Sep 20, 2022

• feat: goal-diffing

  EdAyers

  committed
  70b448a

  Copy full SHA for 70b448a

• refactor: Widget/Diff for review

  EdAyers

  committed
  3f6b0c9

  Copy full SHA for 3f6b0c9

Commits on Sep 21, 2022

• feat: now renders diff if useAfter is false

  EdAyers

  committed
  1225093

  Copy full SHA for 1225093

• fix: re-add isParent recursion

  EdAyers

  committed
  85293d5

  Copy full SHA for 85293d5

• fix: apply suggestions from code review

  Show description for c01041f
  

  EdAyers

  and

  Vtec234

  authored
  c01041f

  Copy full SHA for c01041f

• style: where

  EdAyers

  committed
  b2f5105

  Copy full SHA for b2f5105

• refactor: simplify isParent logic

  EdAyers

  committed
  bea45dd

  Copy full SHA for bea45dd

• doc: add explanation of isInserted? and isRemoved?

  EdAyers

  committed
  e0a8658

  Copy full SHA for e0a8658

• feat: subexprinfo highlight colours

  EdAyers

  committed
  6593de1

  Copy full SHA for 6593de1

• feat: add an option for turning off diffs

  EdAyers

  committed
  2b0a12f

  Copy full SHA for 2b0a12f

• chore: remove message? strings

  EdAyers

  committed
  3b23da3

  Copy full SHA for 3b23da3

Commits on Sep 22, 2022

• test: goal-diffs

  EdAyers

  committed
  9e407be

  Copy full SHA for 9e407be

• refactor: getPrefix? -> isSuffixOf?

  EdAyers

  committed
  2971871

  Copy full SHA for 2971871

• chore: rm ExprDiffTag toJson

  EdAyers

  committed
  df1ea4c

  Copy full SHA for df1ea4c

• fix: tidy from review comments

  EdAyers

  committed
  df16032

  Copy full SHA for df16032

• test: additional diff unit test

  EdAyers

  committed
  6bf4fc8

  Copy full SHA for 6bf4fc8

• fix: remove unused sameHead

  EdAyers

  committed
  9b66a9c

  Copy full SHA for 9b66a9c

• fix: remove explicit ToJson for HighlightColor

  EdAyers

  committed
  5c05a2b

  Copy full SHA for 5c05a2b