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 -- OpenPGP Key ID : 040D0A3B4ED2E5C7 Monthly Athmospheric CO₂, Mauna Loa Obs. 2015-05: 403.94, 2016-05: 407.70
Description: PGP signature
_______________________________________________ ProofGeneral-devel mailing list ProofGeneralemail@example.com http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel