Tags: rocq-archive/coq-serapi
Tags
Release 8.20.0+0.20.0
CHANGES:
- [serapi] (!) support for Coq 8.20, thanks to all the developers
that contributed compatibility patches.
- [serlib] Support `micromega_core` plugin (@ejgallego)
- [serlib] Compat with ppx_deriving 6 (@ejgallego)
- [serlib] Move `serlib` sources to `coq-lsp` (@ejgallego, #409)
- [general] Drop support for OCaml 4.09-4.11 (@ejgallego, #409)
- [serlib] Embed `serlib` from `coq-lsp` as to help 8.20 release (@ejgallego)
- [meta] Add license info for sertop.el (@ejgallego, @SnarkBoojum, fixes #411)
[v8.20] Fix loader and some other bits after re-merge.
Release 8.19.0+0.19.3 CHANGES: - [test] Don't require math-comp to run genarg tests (@ejgallego, #399 , fixes #395 , thanks to @SnarkBoojum for the report)
Release 8.19.0+0.19.2 CHANGES: - [serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 , thanks to @laetitia-teo and @Nfsaavedra for the bug report)
Release 8.18.0+0.18.3 CHANGES: - [serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 , thanks to @laetitia-teo and @Nfsaavedra for the bug report)
Release 8.17.0+0.17.3 CHANGES: - [serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 , thanks to @laetitia-teo and @Nfsaavedra for the bug report)
Release 8.19.0+0.19.1 CHANGES: - [serlib] Support `btauto` Coq plugin (@ejgallego, #362) - [serlib] Support `extraction` Coq plugin (@ejgallego, @toku-sa-n, #375, fixes #371) - [general] Make licensing clearer (@ejgallego, @palmskog, @SnarkBoojum, #361, closes #266)
Release 8.18.0+0.18.2
CHANGES:
- [serlib] Expose some more Ast functions required by coq-lsp's
auto-build support (@ejgallego, #383)
Release 8.17.0+0.17.2
CHANGES:
- [serlib] Expose some more Ast functions required by coq-lsp's
auto-build support (@ejgallego, #383)
Release 8.19.0+0.19.0
CHANGES:
- [serapi] (!) support for Coq 8.19, thanks to all the developers
that contributed compatibility patches.
- [general] Cleanup old / unused code (@ejgallego, #362)
PreviousNext