Pierre Courtieu <pierre.court...@cnam.fr> writes: > I am all for it, where can I find the serapi documentation please?
That's a good point, the documentation is fairly sketchy as we didn't see the need to make the API stable yet. In fact one of the problems Paul has pointed out was lack of specification of the XML protocol [which was 100% undocumented when the effort started IIRC] I will add some specification for the 8.9 version, any recommendation on to best document such a protocol? As the protocol is programmatically derived from https://github.com/ejgallego/coq-serapi/blob/v8.9/serapi/serapi_protocol.mli I think I will use OCaml's `odoc` format. Binaries command line is reasonably documented with --help. Cheers, E. _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
