proof-general/THIS-IS-PG4, branch master
Emacs plugins for proof management systems
Deleted file
2009-09-05T13:58:40+00:00
David Aspinall
2009-09-05T13:58:40+00:00
b68a1c221020a3256eda081344d323b036500b3f
Merge changes from Version4Branch.
2008-07-24T09:51:53+00:00
David Aspinall
2008-07-24T09:51:53+00:00
76d6b0b2b1f039549d308a0d2c478a6b05869af9