v1.9.1+coq8.18
Pre-release
Pre-release
·
566 commits
to main
since this release
v1.9.1+coq8.18
maximedenes
Maxime Dénès
This tag was signed with the committer’s verified signature.
The key has expired.
maximedenes
Maxime Dénès
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
Contributors
maximedenes and rtetley