[new release] coq-serapi (8.9.0+0.6.1)
[new release] coq-serapi (8.9.0+0.6.1)

CHANGES:

* [serapi ] Add `Parse` command to parse a sentence; c.f.
             https://github.com/ejgallego/coq-serapi/issues/117
             (@ejgallego) (cc: @yangky11)
 * [sercomp] Add "print" `--mode` to print the input Coq document
             (@ejgallego) (cc: @Ptival)
 * [serlib ] Serialize `Universe.t` (@ejgallego, request by @yangky11)
 * [sercomp] Merge `sercomp` and `compser`, add `--input` parameter to `sercomp`
             (@palmskog) (cc: @ejgallego)
 * [serlib ] Much improved support for serialization of `Environ.env`
             (@yangky11 and @ejgallego c.f. ejgallego/coq-serapi#118)
 * [serapi ] Make sure every command ends with `Completed`, even if it produced
             an exception (@brando90 and @ejgallego c.f. ejgallego/coq-serapi#124)
 * [sercomp] Add `--mode=kexp` to output the final kernel environment.
             (@ejgallego c.f. ejgallego/coq-serapi#119)
 * [serlib ] Serialize more internal environment fields (@ejgallego c.f. ejgallego/coq-serapi#119)
 * [serlib ] Improvements in serialization org (@ejgallego)
 * [serlib ] Serialize kernel entries (@ejgallego @palmskog)
 * [serlib ] Fix critical bug on `Constr` deserialization; reported by @palmskog,
             fix by @SkySkimmer.
 * [sertop]  Fix backtrace printing when using `--debug` (@ejgallego)
 * [serlib ] Don't serialize VM values (@ejgallego, bug report by @palmskog)
 * [serapi ] Output location on tokenization (@ejgallego , idea by @palmskog)
 * [serapi ] Add basic documentation of the protocol (@ejgallego cc ejgallego/coq-serapi#109)

andersfugmann/opam-repository,camlspotter/opam-repository,Leonidas-from-XIV/opam-repository,pirbo/opam-repository,pirbo/opam-repository,emillon/opam-repository,ocaml/opam-repository,AltGr/opam-repository,arlencox/opam-repository,dra27/opam-repository,astrada/opam-repository,ocaml/opam-repository,seliopou/opam-repository,dra27/opam-repository,c-cube/opam-repository,Leonidas-from-XIV/opam-repository,Chris00/opam-repository,emillon/opam-repository,hannesm/opam-repository,pqwy/opam-repository,yallop/opam-repository,lefessan/opam-repository,toots/opam-repository,mjambon/opam-repository,hakuch/opam-repository,Chris00/opam-repository,talex5/opam-repository,yallop/opam-repository,jhwoodyatt/opam-repository,avsm/opam-repository,pqwy/opam-repository,fpottier/opam-repository,kkirstein/opam-repository,nberth/opam-repository,abate/opam-repository,andersfugmann/opam-repository,c-cube/opam-repository,djs55/opam-repository,gasche/opam-repository,kkirstein/opam-repository,fpottier/opam-repository,dbuenzli/opam-repository,orbitz/opam-repository,avsm/opam-repository,planar/opam-repository,lefessan/opam-repository,talex5/opam-repository,seliopou/opam-repository,codinuum/opam-repository,djs55/opam-repository,AltGr/opam-repository,astrada/opam-repository,nberth/opam-repository,hannesm/opam-repository,cakeplus/opam-repository,jonludlam/opam-repository,toots/opam-repository,mjambon/opam-repository,dbuenzli/opam-repository,jonludlam/opam-repository,jhwoodyatt/opam-repository,camlspotter/opam-repository,codinuum/opam-repository