proof-general/FUTURE, 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
New files.
2008-07-12T14:07:37+00:00
David Aspinall
2008-07-12T14:07:37+00:00
d88c5650bc146b748a2a461ceaa2e12c6a6e74c1