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

Attachment: signature.asc
Description: PGP signature

_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to