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.

v0.3.8

0.3.8

• client and server are webpacked (#411 by @4ever2 and @fakusb)
• fix completion on last line (#409 by @4ever2)
• preserve printing width on undo (#405 by @4ever2)
• fix error location for Windows (#363 by @4ever2 and @thery)
• fix for snippet (#358 #338 by @4ever2)
• add color to more keywords (#336 by @dlesbre)

v0.3.7

0.3.7

• add an option to disable "Proof View Diff" (#321 by @Blaisorblade)
• add logo as icon to coq file (#302 by @dlesbre)
• add hover provider (#300 by @dlesbre)
• add color to more keywords (#299 by @dlesbre)
• various improvements and consolidations (by @huỳnh Trần Khanh)
• fixed leaking error message when only shelved goals remain (#268 by fakusb)

v0.3.6

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

v0.3.5

v0.3.4

Includes the changelog missing from 0.3.3

v0.3.3

v0.3.3