Fixed. There was also a problem with m4pg, also fixed at coq.el:2204. P.
2013/7/4 Pierre Courtieu <[email protected]> > > 2013/7/4 David Aspinall <[email protected]> > >> introduce > > > > No it is mine. Sorry I will look at it. this is my recent attempt at > reading coq project files as described in coq documentation. > > P. >
_______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
