v1.9.2+coq8.18
Pre-release
Pre-release
·
571 commits
to main
since this release
v1.9.2+coq8.18
rtetley
Romain Tetley
This tag was signed with the committer’s verified signature.
The key has expired.
rtetley
Romain Tetley
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
Contributors
palmskog, maximedenes, and 2 other contributors