initial release
Pre-release
Pre-release
·
287 commits
to master
since this release
basic support for Coq 8.5.
- Note: coqtopw.exe allows this extension to interrupt computations on Windows.