proof-general/IMPORTANT, branch master
Emacs plugins for proof management systems
Deleted file
2007-12-12T20:07:52+00:00
David Aspinall
2007-12-12T20:07:52+00:00
1baea2b15bfdefacdbeccc1a626f5402b4ace99c
Updated.
2004-04-02T16:58:54+00:00
David Aspinall
2004-04-02T16:58:54+00:00
2a5709c354e09b06556f3f1e19bf2d9a5ad91564
New files.
2004-02-08T15:31:43+00:00
David Aspinall
2004-02-08T15:31:43+00:00
9c92156557e6b71d3402824e91ff2ffc83565c98