proof-general/etc/isa/multiple/foobar, 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
test stray ML file;
1999-10-27T15:20:49+00:00
Makarius Wenzel
1999-10-27T15:20:49+00:00
3972a7eccf83aa609d2a222223c1a51ed3a0cd20