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