Skip to content

mCoq 8.10.0 release

Latest
Latest
Compare
Choose a tag to compare
@kjain14 kjain14 released this 21 May 19:01
v8.10.0
fbeb894
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Updated release of mCoq with minor bug fixes and updates. Supports Coq 8.10 and depends on SerAPI 0.7.0. Features the following changes:

  • Fix Java version detection on macOS
  • Improve documentation to be more user friendly
Assets 2
Loading