proof-general/x-symbol/pkginfo, branch master Emacs plugins for proof management systems Merge changes from Version4Branch. 2008-07-24T09:51:53+00:00 David Aspinall 2008-07-24T09:51:53+00:00 76d6b0b2b1f039549d308a0d2c478a6b05869af9 






Version 4.5 (beta?) sent by CW, as a package distrib.
2003-03-01T11:33:36+00:00

David Aspinall

2003-03-01T11:33:36+00:00

291c13e76dff9a7c73c8445f12a3d8e7da2f3c1e