8.18.0+0.18.0

CHANGES:

• [serapi] (!) support for Coq 8.18, thanks to all the developers
  that contributed compatibility patches (@ejgallego and
  many others).
• [serlib] Fix ltac2 plugin wrong piercing due to missing constructor
  (@ejgallego, reported by @quarkcool, #349).

8.17.0+0.17.1

CHANGES:

• [sertop] Don't initialize CoqworkmgrApi (@ejgallego, #340)
• [serlib] Compat with Jane Street libraries >= v0.16.0 (@ejgallego,
  #351)

8.15.0+0.15.4

CHANGES:

• [serlib] Fix crash when serializing projections (@ejgallego, #332,
  reported by @rwhender, fixes #331).

8.17.0+0.17.0

CHANGES:

• [serlib] (!) Serialization format of generic arguments has changed
  to be conforming to usual ppx_sexp_conv conventions.
  (@ejgallego , fixes #273)
• [serapi] (!) support for Coq 8.17, upstream structures seem pretty
  stable from 8.16, except for Constr.Evar (@ejgallego)
• [serapi] SerAPI is now in Coq's CI (@ejgallego @Alizter)

8.15.0+0.15.3

CHANGES:

• [serlib] Backport serlib improvements from 0.16.0:
• [serlib] Added support for some more plugins from coq-core (ltac2,
  cc, micromega, number_string_notation) (@ejgallego, #284, #306)
• [serlib] Much improved yojson / json support (@ejgallego)
• [serlib] Coq AST now supports ppx_hash intf (ignoring locations by default)
  (@ejgallego)
• [serlib] Coq AST now supports ppx_compare intf (ignoring locations by default)
  (@ejgallego)
• [serlib] Large refactoring on Serlib, using functors, see serlib/README.md
  (@ejgallego)
• [serlib] Fix JSON serialization for generic arguments (@ejgallego, #321)

8.16.0+0.16.3

CHANGES:

• [serlib] Fix JSON serialization for generic arguments (@ejgallego, #321)

8.16.0+0.16.2

CHANGES:

• [sertop] Add --impredicative-set command line option (@dhilst , #288)
• [serlib] Added support for some more plugins from coq-core (ltac2,
  cc, micromega, number_string_notation) (@ejgallego, #284, #306)

8.16.0+0.16.1

CHANGES:

• [sertop] Allow to set --coqlib using the COQLIB environment
  variable. The cmdline argument option still has
  precedence.
• [serapi] Allow to parse expressions too with
  (Parse (entry Constr) $text) (@ejgallego, fixes #272)

8.16.0+0.16.0

CHANGES:

• [serapi] (!) support for Coq 8.16, see upstream changes and SerAPI
  test-suite changes for more information. Remarkable
  changes are:
  - kernel terms are serialized a bit differently now due to
  KerName being used in more places upstream. Some
  internal structures also changes in kernel's env, so be
  attentive if you are depending on them.
  - plugin loading is adapted for 8.16 findlib loading
  method
  (@ejgallego)
• [deps] Require cmdliner >= 1.1.0 (@ejgallego)
• [deps] Support Jane Street libraries v0.15.0 (@ejgallego)
• [serapi] New query Objects to dump Coq's libobject (@ejgallego)
• [serlib] Much improved yojson / json support (@ejgallego)
• [serlib] Coq AST now supports ppx_hash intf (ignoring locations by default)
  (@ejgallego)
• [serlib] Coq AST now supports ppx_compare intf (ignoring locations by default)
  (@ejgallego)
• [serlib] Large refactoring on Serlib, using functors, see serlib/README.md
  (@ejgallego)
• [serapi] (!) Query Proofs has changed type and will now return the
  partial terms under construction (#271 , fixes #270, @ejgallego)

8.15.0+0.15.2

CHANGES:

• [deps] Support Jane Street libraries v0.15.0 (@ejgallego)
• [deps] Require cmdliner >= 1.1.0 (@ejgallego)