proof-general/mmm/README.ProofGeneral, branch master
Emacs plugins for proof management systems
Renamed file
2003-02-22T18:10:57+00:00
David Aspinall
2003-02-22T18:10:57+00:00
62958d26c2e0b33a5e2e4fdedefdf5a02e337e41
Updated.
2003-02-22T17:50:15+00:00
David Aspinall
2003-02-22T17:50:15+00:00
ef6b56d6a053fa531ccd865b65f389b192bcd8d9
Renamed file
2003-02-19T13:01:26+00:00
David Aspinall
2003-02-19T13:01:26+00:00
c407f79a6007e30596bf4fbb1e9c4aa929147c93