proof-general/pgshell/README, branch master
Emacs plugins for proof management systems
Updated.
2004-04-14T16:30:28+00:00
David Aspinall
2004-04-14T16:30:28+00:00
c621a2ea58e24b04db91787e38a6842fe80a477b
New files.
2004-04-13T12:54:34+00:00
David Aspinall
2004-04-13T12:54:34+00:00
f1332103731a3a88fa8d91952d45b27dd0a333b7