proof-general/contrib/mmm/mmm.texinfo, 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/mmm.texinfo, formerly mmm/mmm.texinfo
2010-08-27T11:25:10+00:00

David Aspinall

2010-08-27T11:25:10+00:00

8c55c79574c3078489f98bd8300241b57e9fc33b