proof-general/etc/mmm-install, branch master Emacs plugins for proof management systems Remove mmm and ML4PG contribs and remove references to them in code and docs 2017-05-24T15:14:51+00:00 Paul Steckler 2017-05-24T15:14:51+00:00 c9e9c691c353d5d4835551de8d7d1f4c0ec74b9f 






New files.
2003-02-18T01:04:15+00:00

David Aspinall

2003-02-18T01:04:15+00:00

63c2385e812fbe3c32071e2c2a01270f09b38e3b