proof-general/twelf/README, branch master
Emacs plugins for proof management systems
Add specific install instrs, rearrange.
2001-09-03T10:40:31+00:00
David Aspinall
2001-09-03T10:40:31+00:00
d1a8680dede2340ae53b558fa4ae5cfc1c4500ba
Tweak
2000-09-29T17:26:04+00:00
David Aspinall
2000-09-29T17:26:04+00:00
720c6a5ff339e1c864b5b2c0b185d48e0bc6c1ac
Notes.
2000-09-28T15:45:55+00:00
David Aspinall
2000-09-28T15:45:55+00:00
9749e12c374f6f1ee270c228821b41b0aa66ca2b