proof-general/acl2/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 






Updated, trimmed down to barebones.
2000-09-29T17:22:57+00:00

David Aspinall

2000-09-29T17:22:57+00:00

0371ed89d98822dfd030b893ec63692958f73f4f












First (non-working) versions, committed so that doc builds.
2000-09-28T12:10:00+00:00

David Aspinall

2000-09-28T12:10:00+00:00

efb1c6f2357cb2088ca3a4c75b59523b750398ed