- 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
jscoqdocto 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 👶