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
