On 29/11/2018 14.52, Emilio Jesús Gallego Arias wrote: > Note that SerAPI does indeed try to workaround a few quirks of the STM > so clients don't have to care; and it can do so with moderate success > as it lives in the OCaml work.
This. At least from my short experience, the protocol offered by SerAPI (well, the one that was offered a year ago ^^ I don't know if it changed) is much more robust than the XML-based one offered with Coq.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
