Releases: jscoq/jscoq
Releases · jscoq/jscoq
jsCoq 0.17.1 “Night Slip”
- Update to Coq 8.17.1. (@ejgallego)
- Fix some dist mishaps - missing CLI, zarith version change (@corwin-of-amber)
jsCoq 0.16.0 "Paris-bound"
- Update to Coq 8.16.0. (@corwin-of-amber, @ejgallego)
- Now Coq loads plugins using findlib, but we don't yet support that;
most plugins can still load in legacy mode. - Port the JS codebase to ES modules (@ejgallego , @corwin-of-amber, #276)
- Add a quick help screen in the UI (@corwin-of-amber, #290)
jsCoq 0.15.1
- Update to Coq 8.15.1. (@corwin-of-amber)
- Stabilized jsCoq SDK Docker image. (@corwin-of-amber)
- A new landing-page example that is more focused on showing jsCoq features; added links to other examples. (@corwin-of-amber, help & suggestions by @hannelita, @palmskog)
- Added symbol generation to the build pipeline, to keep completion results current. (@corwin-of-amber)
jsCoq 0.15.0 "Steady State"
- Update to Coq 8.15.0 (@corwin-of-amber)
(that's it 😬)
jsCoq 0.14.1 "Leap of Faith"
- Update to Coq 8.14.1 (@corwin-of-amber)
(that's it 😬)
jsCoq 0.14.0 "Ahead of Time"
We have actually managed to build this version before Coq 8.14 was officially release, hence the name. Unfortunately we forgot to finalize the release so it is a bit belated, although it has been available at coq-next.now.sh for quite some time.
- Update to Coq 8.14.0 (@ejgallego @corwin-of-amber)
jsCoq 0.13.3 "The Name of the Version is Called"
- A critical bug fix for error sentences. (#249, corwin-of-amber)
- Added Coqoban package 🎡 (corwin-of-amber)
Plus a few internal rearrangements.
jsCoq 0.13.2 "That Sounds Like an Excellent Idea"
- Merged the
8.13+wacoq
branch. The frontend can now operate with either the JavaScript backend or the WebAssembly one. (#247, corwin-of-amber)
This is a minor version following a refactoring and should be functionally equivalent to 0.13.1.
jsCoq 0.13.1 "Action Display"
- 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 👶
jsCoq 0.13.0 "Better late than never"
- Update to Coq 8.13.0, mostly straightforward but build requirements have changed, in particular we now require
js_of_ocaml >= 3.8.0
. (@ejgallego) - Bump required compiler version to 4.10.2. (@ejgallego)
- Fixed missing indentation in pretty-printing of goals. (#126, @corwin-of-amber)
- The long-awaited settings panel. (#12, @corwin-of-amber)
- Added a Coq tutorial example (@corwin-of-amber, @mdnahas)