proof-general/generic/README, branch master
Emacs plugins for proof management systems
fixed spelling;
2001-12-27T15:55:09+00:00
Makarius Wenzel
2001-12-27T15:55:09+00:00
974a08a2f827bd440acfa6b1668e40dca242843a
Add specific install instrs, rearrange.
2001-09-03T10:40:31+00:00
David Aspinall
2001-09-03T10:40:31+00:00
d1a8680dede2340ae53b558fa4ae5cfc1c4500ba
Add Markus to list of authors
2001-05-08T11:14:29+00:00
David Aspinall
2001-05-08T11:14:29+00:00
c2eaeedf155282f7cca25bdafc6528e1f110c327
Updated
2000-09-23T14:30:49+00:00
David Aspinall
2000-09-23T14:30:49+00:00
6c738c012cbadad206ed385f2cc0cddae02273f1
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