v2.1.2

What's Changed

• Adapt w.r.t. coq/coq#18652. by @ppedrot in #722
• Fix coq-master CI by @rtetley in #738
• Manual nav fix by @rtetley in #740
• Capture the correct loc for when an import fails. by @rtetley in #739

Full Changelog: v2.1.1+coq8.19...v2.1.2

v2.1.1+coq8.19

What's Changed

• Upgrading language client to latest version by @rtetley in #727
• Adding goal indicator to tab view by @rtetley in #729
• Fix parse errors and highlight zone by @rtetley in #732
• Add api for step navigation in continuous mode. by @rtetley in #734

Full Changelog: v2.1.0+coq8.19...v2.1.1+coq8.19

v2.1.0+coq8.19

What's Changed

• Various adaptations to Coq 8.19 by @SkySkimmer, @herbelin, @ppedrot, @proux01
• Fix font-size in Coq Goals by @LittleJianCH in #704
• Run vscoq.path as a shell command from the project directory by @afdw in #715
• Coq 8.19 by @gares in #702
• Correct server crash when hover over first word. by @rtetley in #721

New Contributors

• @herbelin made their first contribution in #601
• @ppedrot made their first contribution in #685
• @proux01 made their first contribution in #681
• @LittleJianCH made their first contribution in #704
• @afdw made their first contribution in #715
• @CohenCyril made their first contribution in #717

Full Changelog: v2.0.3+coq8.18...v2.1.0+coq8.19

v2.0.3+coq8.18

What's Changed

• Working on performance issues of large files. by @rtetley in #679
• Handle cases when document uri is not found in state by @rtetley in #684
• Fix observe id invalidation bug by @maximedenes in #691
• Goal position by @rtetley in #695
• Send a message instead of crashing when filename is invalid. by @rtetley in #696
• Refactor observe id by @rtetley in #693
• Improve hover provider by @dlesbre in #697
• Fix message panel colors by @dlesbre in #699
• Update docs by @tomtomjhj in #694

Full Changelog: v2.0.2+coq8.18...v2.0.3+coq8.18

v2.0.2+coq8.18

What's Changed

• VsCoq downgrade message by @4ever2 in #633
• docs: fix inconsistencies and syntax error in protocol docs by @tomtomjhj in #648
• Plug reset command by @rtetley in #646
• Fix compatibility with vim extenion by @rtetley in #649
• Add a status bar item by @rtetley in #650
• Various improvements to the webview by @rtetley in #651
• Add support for multiple byte UTF-8 characters by @tlsomers in #664
• do not crash if a Coq sentence raises an anomaly by @gares in #665

New Contributors

• @tomtomjhj made their first contribution in #648
• @tlsomers made their first contribution in #664

Full Changelog: v2.0.1+coq8.18...v2.0.2+coq8.18

v2.0.1+coq8.18

Patch release to address the current issues of VsCoq auto-updating

What's Changed

• [VsCoq2] Added an explicit dependency on "jsonrpc" by @yj-han in #624
• Added instructions on how to downgrade vscoq by @rtetley in #627
• Add better error message. by @rtetley in #628

New Contributors

• @yj-han made their first contribution in #624

Full Changelog: v2.0.0+coq8.18...v2.0.1+coq8.18

v0.4.0

release of a separate vscoq1 extension

v2.0.0+coq8.18

What's Changed

• Cleanup feedback channels by @rtetley in #599
• Fixed the decorations when a user switches proof mode. by @rtetley in #600
• Expanded search results by @rtetley in #612

Full Changelog: v1.9.3+coq8.18...v2.0.0+coq8.18

v0.3.9

0.3.9

• pass correct -topfile argument (#617 by @Blaisorblade and @4ever2)
• Enable search in proofview (#616 by @4ever2)
• Fix ip issues with VS Code 1.82.0 (#614 by @4ever2)

v1.9.3+coq8.18

What's Changed

• Add commands in editor context menu. by @rtetley in #588
• Handle queries from the editor by @rtetley in #589
• Query error handling by @rtetley in #542
• Query panel look and feel by @rtetley in #590
• Support diff mode by @maximedenes in #593
• Support for shelved and given up goals. by @rtetley in #592
• Support for messages in proofview by @maximedenes in #595

Full Changelog: v1.9.2+coq8.18...v1.9.3+coq8.18