proof-general/etc/pgkit, branch master
Emacs plugins for proof management systems
Obsolete files
2009-09-06T21:29:21+00:00
David Aspinall
2009-09-06T21:29:21+00:00
297c79ce392065529ea20a2ced95554a67230c91
New test files for PG kit.
2000-06-01T14:46:17+00:00
David Aspinall
2000-06-01T14:46:17+00:00
3e684d49f23ed2a7ee56307677f8f39efffacc24