proof-general/coq/TODO-TMP, branch master
Emacs plugins for proof management systems
Deleted file
2008-07-22T09:49:19+00:00
David Aspinall
2008-07-22T09:49:19+00:00
0c4b221b9c53c96791beb09395a8d69f2b77a447
todo added fo coq.
2008-07-21T15:14:58+00:00
Pierre Courtieu
2008-07-21T15:14:58+00:00
a4fe36f5e0c3ffc64797bed551176d6d30a04834
Updated.
2004-05-07T00:09:01+00:00
David Aspinall
2004-05-07T00:09:01+00:00
f295d390fb43cad5caecd38786ca0bb18fb01836
New files.
2004-05-07T00:05:38+00:00
David Aspinall
2004-05-07T00:05:38+00:00
dd662549c9f16f16b0ea7f4a93440556863a60c7