proof-general/coq/ML4PG/doc, 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 






Removing ML4PG files from coq folder.
2013-05-31T12:25:39+00:00

joheras

2013-05-31T12:25:39+00:00

9e1f6fffc7b57016ea0e05238a4da669e2aadcb5












Documentation of ML4PG
2013-05-31T08:51:03+00:00

joheras

2013-05-31T08:51:03+00:00

ce565d6c639ed935aa881c011ca4c16230a7fdc1