[ANNOUNCE] jsCoq 0.11

Dear Coq users and developers,

we are happy to announce the release of jsCoq 0.11.0, based on Coq 8.11.

Since jsCoq 0.9, the 0.11 version does include numerous improvements and
fine tunings, as well as all the changes from upstream Coq.

Highlights since 0.9 are:

See the CHANGES [1] file for a detailed list of changes.

jsCoq is free software, please don’t hesitate to report issues and
contribute at https://github.com/jscoq/jscoq

Have fun,
Shachar and Emilio

[1] https://github.com/jscoq/jscoq/blob/v8.11/CHANGES.md