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

v1.9.2+coq8.18

What's Changed

• add instructions for beta release and Coq 8.18+rc1 by @palmskog in #577
• Correcting the toolchain manager by @rtetley in #580
• depend on sel 0.4.0 by @gares in #512
• Clean and fix highlight merging code by @maximedenes in #585

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

v1.9.1+coq8.18

What's Changed

• Correct goal view hypothesis display. by @rtetley in #555
• Generalize support for hover by @maximedenes in #551
• Improve e2e tests doc & CI by @maximedenes in #557
• Package metadata by @maximedenes in #558
• Syntax highlighting in proofview by @maximedenes in #559
• Do not consider proofs with side effects as opaque by @maximedenes in #560
• Use ocaml-lsp datatypes for base LSP by @maximedenes in #563
• More automated release process

This is a beta release as VsCoq 2 is not ready for production use yet.

Full Changelog: v1.9.0+coq8.18...v1.9.1+coq8.18

v1.9.0+coq8.18

This is the first beta release of VsCoq 2.

VsCoq 2 is a full reimplementation (based on a different architecture and design) of the previous version of VsCoq, which is currently in use. This is a beta release as VsCoq 2 is not ready for production use yet.