proof-general/lego/README, branch master Emacs plugins for proof management systems Updated. 2008-01-31T23:35:52+00:00 David Aspinall 2008-01-31T23:35:52+00:00 18a0c868a649599461756650a0bde4f36503af67 






Coq/lego confusion
2001-09-09T16:59:59+00:00

David Aspinall

2001-09-09T16:59:59+00:00

74a40f851575c4f54e5bfffde8ca8ff9efbc107e












Add specific install instrs, rearrange.
2001-09-03T10:40:31+00:00

David Aspinall

2001-09-03T10:40:31+00:00

d1a8680dede2340ae53b558fa4ae5cfc1c4500ba












New/updated information files
2000-03-13T04:21:14+00:00

David Aspinall

2000-03-13T04:21:14+00:00

390a659861192ebf98811438f61c4f992ecad25a












Added README files for each prover, summarizing status.
2000-03-09T07:48:01+00:00

David Aspinall

2000-03-09T07:48:01+00:00

2d65eb01d11d1034db298c94da2dc9a878dcbcb4