Pierre Courtieu <pierre.court...@cnam.fr> writes: > I think the most important is that your documentation should contain or > point to a documentation of coq stm.
Why? I'd rather document SerAPI by itself, why to expose the low-level document manager? Note that the README is not accurate anymore, as SerAPI is not tied to the STM anymore, so yeah this may be confusing. I've already wrote a fair chunk of up-to-date documentation for it, hopefully will make it into the main branch soon. Cheers, E. _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
