Skip to content

jsCoq 0.13.1 "Action Display"
Compare
Choose a tag to compare
@corwin-of-amber corwin-of-amber released this 07 Aug 17:24
· 37 commits to v8.13 since this release
v0.13.1
a096e7b
  • jsCoq's CI has been moved from Travis CI to Github actions, thanks to both providers for the generous support (#242, closes #224, @ejgallego)
  • Bump required compiler version to 4.12.0 (#223, @ejgallego)
  • Added some missing symbols for code completion. (@corwin-of-amber)
  • A utility script jscoqdoc to quickly generate HTML pages with jsCoq embedded. (@corwin-of-amber)
  • Some trouble with comments just before error marker. (closes #241, @corwin-of-amber)
  • Improved indentation in pretty-printing of goals and terms. (#245, @corwin-of-amber)

This is the first version where jsCoq and waCoq are released together. Congratulations little ones 👶

Contributors

corwin-of-amber and ejgallego
Assets 6
Loading