Hi Alan, We're hoping to get a pretty flexible codebase in the end, but more details on your use case would be useful :) What are the main difficulties that you ran into with the current codebase ?
Clément. On 2016-06-16 03:27, Alan Schmitt wrote: > Hello Clément, > > Will this rewrite be monolithic, or will it be possible to use it to > interact with Coq through elisp? I'm particularly interested in > improving org-babel support for Coq (which works but is not very > robust). > > Thanks, > > Alan >
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list ProofGeneralfirstname.lastname@example.org http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel