Jscoq Versions Save

• Update to Coq 8.17.1. (@ejgallego)
• Fix some dist mishaps - missing CLI, zarith version change (@corwin-of-amber)

• 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)

This is a peek preview to showcase the new Docker-based jsCoq SDK. The purpose of the SDK is to allow seamless building of libraries compatible with the official version of jsCoq.

To try it out, download sdk-demo.tgz and run:

% tar xf sdk-demo.tgz
% cd sdk-demo
% make setup   # this downloads and installs jsCoq from this release
% make

Then serve the sdk-demo directory over HTTP.

• 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)

• Update to Coq 8.15.0 (@corwin-of-amber)

(that's it :grimacing:)

• Update to Coq 8.14.1 (@corwin-of-amber)

(that's it :grimacing:)

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)

• A critical bug fix for error sentences. (#249, corwin-of-amber)
• Added Coqoban package :ferris_wheel: (corwin-of-amber)

Plus a few internal rearrangements.

• 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'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 :baby: