Add support for the new goal state - #85

Merged

wintersteiger merged 57 commits into

mainfrom

christoph/new-goal-state

Jul 30, 2026

Commits on Mar 25, 2026

New goal state
wintersteiger
committed
c269079
Finally a workable formatting solution
wintersteiger
committed
7c4e32b
Various improvements
wintersteiger
committed
9b3b376
More, more, more
wintersteiger
committed
89f96ca
Clean up launch.json
wintersteiger
committed
097de43
Formatting
wintersteiger
committed
f9f01de
More bigints
wintersteiger
committed
635c603
More report events
wintersteiger
committed
aa610bb
Fix bigints in tests
wintersteiger
committed
bf8187c
Add check-closest command
wintersteiger
committed
36f7770
Fix mouse pointer on hover
wintersteiger
committed
aff629f

Commits on Mar 27, 2026

Various fixes and improvements
wintersteiger
committed
11ba630
Clean up extension config
wintersteiger
committed
7322aaf

Commits on Mar 30, 2026

Add jump-to-declaration
wintersteiger
committed
219089c
Fix import
wintersteiger
committed
1d22bf1

Commits on Mar 31, 2026

Fade out hashes. Fix function call parentheses.
wintersteiger
committed
50ab79e
Another parentheses fix
wintersteiger
committed
58ff512
Add unit tests to workflow
wintersteiger
committed
14999cd
Nicer workflow
wintersteiger
committed
880abc4
Fix unit tests
wintersteiger
committed
3319c34
Update depdendencies
wintersteiger
committed
d63b0f2
Nicer log output
wintersteiger
committed
5b637b2
Playing around with different turnstiles
wintersteiger
committed
4425426

Commits on Apr 7, 2026

Hourglass for large <detail>s
wintersteiger
committed
c8cdc39

Commits on Apr 8, 2026

Fix term formatter runtime performance
wintersteiger
committed
8af7cb3
Remove debug output
wintersteiger
committed
d5352a3
Strip module names from symbols
wintersteiger
committed
ec0618d
Upgrade GH actions
wintersteiger
committed
e808073
Fix parens in destructor terms
wintersteiger
committed
9af4347
Fix operator name trimming
wintersteiger
committed
688a098

Commits on Apr 9, 2026

Add outdated warnings for aged goals
wintersteiger
committed
fdd6a76
Fix tests
wintersteiger
committed
33478b4
Fix typo
wintersteiger
committed
63833e4
Fix typo
wintersteiger
committed
df24eb9
Fix same-line turnstile
wintersteiger
committed
df36ff9
Update layout
wintersteiger
committed
94001f1
Fix initial goal width
wintersteiger
committed
2a53682
Hide hoverbox when scrolling
wintersteiger
committed
274c4f8
Also clear hover timeout
wintersteiger
committed
8876ef6
Fix bundling
wintersteiger
committed
13e687d
Fix CLI arguments to build.mjs
wintersteiger
committed
debc0df

Commits on Apr 10, 2026

Add option to show default hyp/concl names
wintersteiger
committed
4d18c8b
Better settings handling
wintersteiger
committed
ca445aa
Fix tests
wintersteiger
committed
a0d1b5a
Fix one-concl turnstiles
wintersteiger
committed
b9c9347

Commits on Apr 13, 2026

Nicer subterm-selection terms in subresults
wintersteiger
committed
08be09d

Commits on Apr 24, 2026

A multitude of improvements
wintersteiger
committed
539aa82
Fix test
wintersteiger
committed
936029b

Commits on May 8, 2026

Tweaks
wintersteiger
committed
7275010

Commits on Jun 1, 2026

Context menu
wintersteiger
committed
bf93d4f
Codelense commands
wintersteiger
committed
293ab04
Better sequent formatting
wintersteiger
committed
d1e4174
Tweak sequent formatter
wintersteiger
committed
a2b5497

Commits on Jun 4, 2026

UI Tweaks
wintersteiger
committed
0f87a9c

Commits on Jun 8, 2026

Fix typo
wintersteiger
committed
72af25f

Commits on Jun 18, 2026

Add option to strip module scopes off identifiers
wintersteiger
committed
eae5a4b
Fix tests
wintersteiger
committed
233fb07