Bot releases are hidden (Show)
Published by thery about 1 year ago
release of a separate vscoq1 extension
Published by maximedenes about 1 year ago
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.
Published by thery over 1 year ago
Published by thery almost 2 years ago
release 0.3.7
Published by fakusb almost 3 years ago
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)
Published by fakusb almost 3 years ago
v0.3.5
Published by fakusb over 3 years ago
Includes the changelog missing from 0.3.3
Published by fakusb over 3 years ago
