proof-general/etc/patches, 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
Upcoming fix for 3.1.
1999-11-29T13:26:25+00:00
David Aspinall
1999-11-29T13:26:25+00:00
41cc11c82385e90e427030f71967056d76156a3d
Attempted patch no.1
1999-11-18T15:26:41+00:00
David Aspinall
1999-11-18T15:26:41+00:00
fce84717ef57aadf04c16f6ea411cdc2afcb0e3e