8.10.0+0.7.0: CHANGES:

CHANGES:

• [general] (!) support Coq 8.10,
• [serapi] (!) Goals query return type has been modified due to
  upstream changes. (@ejgallego)
• [serlib] Complete (hopefully) serialization for ssreflect ASTs.
  (#73 @ejgallego)
• [general] Drop support for OCaml < 4.07 (#140 @ejgallego)
• [serlib ] JSON serialization for kernel and AST terms (@ejgallego)
• [serapi ] Add Complete support (@ejgallego
  c.f. coq/coq#8766)
• [serlib ] Serlib is now built as a wrapped module (@ejgallego)
• [serapi ] (!) Goals info has been extended to print name metadata if available,
  cc #151 (@ejgallego , suggested by @cpitclaudel)
• [serlib ] JSON support for vernac_expr (@ejgallego)
• [sertop ] (!) Do as Coq upstream and load Coq's stdlib with -R (closes #56)
• [sertop ] Follow Coq upstream and unset indices_matter (closes #157,
  thanks to @palmskog for the report)
• [serapi ] (!) Improve CoqExn answer to have pretty-printed message (improves #162,
  thanks to @cpitclaudel for the request)
• [serlib ] (!) Fix capitalization conventions for a few types in Names
  (closes #167 thanks to @corwin-of-amber for the report)
• [serapi ] (!) Add bullet suggest information to goal query (@corwin-of-amber)
• [sertop ] Add --no_prelude option (closes #176, @ejgallego, request of @darbyhaller)
• [serlib ] (!) Add index to MBId serialization (fixes #150, @ejgallego)
• [serapi ] (!) Add sid parameter to Print (helps #150, @ejgallego, reported by @cpitclaudel)
• [sertop ] Add sertok program for batch serialization of tokens and their source locations (@palmskog)
• [serapi ] (!) Add string-formatted messages to CoqExn and Message
  (@ejgallego closes #184 , closes #162)