proof-general/NOTE, branch master
Emacs plugins for proof management systems
Deleted file
2007-12-12T20:23:25+00:00
David Aspinall
2007-12-12T20:23:25+00:00
356dc53b2615b54c4d3b2b49d103d18b8cbee1dd
New files.
2007-06-10T13:21:34+00:00
David Aspinall
2007-06-10T13:21:34+00:00
8590b476816ff31b1abba6ac52f2ecc23d1d4154