vscoq

What's Changed

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

Full Changelog: https://github.com/coq-community/vscoq/compare/v2.1.1+coq8.19...v2.1.2

What's Changed

• Upgrading language client to latest version by @rtetley in https://github.com/coq-community/vscoq/pull/727
• Adding goal indicator to tab view by @rtetley in https://github.com/coq-community/vscoq/pull/729
• Fix parse errors and highlight zone by @rtetley in https://github.com/coq-community/vscoq/pull/732
• Add api for step navigation in continuous mode. by @rtetley in https://github.com/coq-community/vscoq/pull/734

Full Changelog: https://github.com/coq-community/vscoq/compare/v2.1.0+coq8.19...v2.1.1+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 https://github.com/coq-community/vscoq/pull/704
• Run vscoq.path as a shell command from the project directory by @afdw in https://github.com/coq-community/vscoq/pull/715
• Coq 8.19 by @gares in https://github.com/coq-community/vscoq/pull/702
• Correct server crash when hover over first word. by @rtetley in https://github.com/coq-community/vscoq/pull/721

New Contributors

• @herbelin made their first contribution in https://github.com/coq-community/vscoq/pull/601
• @ppedrot made their first contribution in https://github.com/coq-community/vscoq/pull/685
• @proux01 made their first contribution in https://github.com/coq-community/vscoq/pull/681
• @LittleJianCH made their first contribution in https://github.com/coq-community/vscoq/pull/704
• @afdw made their first contribution in https://github.com/coq-community/vscoq/pull/715
• @CohenCyril made their first contribution in https://github.com/coq-community/vscoq/pull/717

Full Changelog: https://github.com/coq-community/vscoq/compare/v2.0.3+coq8.18...v2.1.0+coq8.19

What's Changed

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

Full Changelog: https://github.com/coq-community/vscoq/compare/v2.0.2+coq8.18...v2.0.3+coq8.18

What's Changed

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

New Contributors

• @tomtomjhj made their first contribution in https://github.com/coq-community/vscoq/pull/648
• @tlsomers made their first contribution in https://github.com/coq-community/vscoq/pull/664

Full Changelog: https://github.com/coq-community/vscoq/compare/v2.0.1+coq8.18...v2.0.2+coq8.18

release of a separate vscoq1 extension

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 https://github.com/coq-community/vscoq/pull/624
• Added instructions on how to downgrade vscoq by @rtetley in https://github.com/coq-community/vscoq/pull/627
• Add better error message. by @rtetley in https://github.com/coq-community/vscoq/pull/628

New Contributors

• @yj-han made their first contribution in https://github.com/coq-community/vscoq/pull/624

Full Changelog: https://github.com/coq-community/vscoq/compare/v2.0.0+coq8.18...v2.0.1+coq8.18

What's Changed

• Cleanup feedback channels by @rtetley in https://github.com/coq-community/vscoq/pull/599
• Fixed the decorations when a user switches proof mode. by @rtetley in https://github.com/coq-community/vscoq/pull/600
• Expanded search results by @rtetley in https://github.com/coq-community/vscoq/pull/612

Full Changelog: https://github.com/coq-community/vscoq/compare/v1.9.3+coq8.18...v2.0.0+coq8.18

What's Changed

• Add commands in editor context menu. by @rtetley in https://github.com/coq-community/vscoq/pull/588
• Handle queries from the editor by @rtetley in https://github.com/coq-community/vscoq/pull/589
• Query error handling by @rtetley in https://github.com/coq-community/vscoq/pull/542
• Query panel look and feel by @rtetley in https://github.com/coq-community/vscoq/pull/590
• Support diff mode by @maximedenes in https://github.com/coq-community/vscoq/pull/593
• Support for shelved and given up goals. by @rtetley in https://github.com/coq-community/vscoq/pull/592
• Support for messages in proofview by @maximedenes in https://github.com/coq-community/vscoq/pull/595

Full Changelog: https://github.com/coq-community/vscoq/compare/v1.9.2+coq8.18...v1.9.3+coq8.18

What's Changed

• add instructions for beta release and Coq 8.18+rc1 by @palmskog in https://github.com/coq-community/vscoq/pull/577
• Correcting the toolchain manager by @rtetley in https://github.com/coq-community/vscoq/pull/580
• depend on sel 0.4.0 by @gares in https://github.com/coq-community/vscoq/pull/512
• Clean and fix highlight merging code by @maximedenes in https://github.com/coq-community/vscoq/pull/585

Full Changelog: https://github.com/coq-community/vscoq/compare/v1.9.1+coq8.18...v1.9.2+coq8.18

What's Changed

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

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

Full Changelog: https://github.com/coq-community/vscoq/compare/v1.9.0+coq8.18...v1.9.1+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.

release 0.3.7

0.3.6

• compatibility with Coq 8.15 (#264, by @quarkcool and @fakusb)
• bumped and cleaned up dependencies (#234, #263, #264 and #265 by @dependabot and @fakusb)
• fixed colorization of keywords in identifiers (#251, by @julesjacobs)
• give more informative goal message on shelved/admitted goals (#184, by @fakusb)
• fixed typos (#258 and #259, by @jacklee1792 and @j3parker)
• better documentation for coqtop.args option (#224, by @fakusb)

v0.3.5

Includes the changelog missing from 0.3.3