Fixed. There was also a problem with m4pg, also fixed at coq.el:2204.
P.

2013/7/4 Pierre Courtieu <pierre.court...@cnam.fr>

>
> 2013/7/4 David Aspinall <david.aspin...@ed.ac.uk>
>
>> 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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to