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






Renamed file contrib/mmm/INSTALL, formerly mmm/INSTALL
2010-08-27T11:24:09+00:00

David Aspinall

2010-08-27T11:24:09+00:00

234253130dba1863863fa70ef5e0fccb840dbb38