proof-general/coq/ML4PG, 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 files from ML4PG folder
2013-05-31T12:28:08+00:00

joheras

2013-05-31T12:28:08+00:00

63eefb4027b9b59f7f91a6e4aaf1763790083e8f












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

joheras

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

9e1f6fffc7b57016ea0e05238a4da669e2aadcb5












Removing ML4PG files from coq folder.
2013-05-31T12:20:36+00:00

joheras

2013-05-31T12:20:36+00:00

5f9bf357acd372d7c1793828f71081c837290924












*** empty log message ***
2013-05-31T09:01:42+00:00

joheras

2013-05-31T09:01:42+00:00

650d95f236fe3c2bf7be757ca89a5a005b04ab77












Removing hidden files of ML4PG.
2013-05-31T09:00:45+00:00

joheras

2013-05-31T09:00:45+00:00

bbaf94eab8c352de28ad05bfee1e0eba0384c7e1












Removing hidden files from ML4PG.
2013-05-31T08:59:33+00:00

joheras

2013-05-31T08:59:33+00:00

82573f09cf511673674cf43d741ffed5dd6d3703












ML4PG modification
2013-05-31T08:53:30+00:00

joheras

2013-05-31T08:53:30+00:00

04c3533affe37c34363d36c96f9939aae2b1b85f












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

joheras

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

ce565d6c639ed935aa881c011ca4c16230a7fdc1












*** empty log message ***
2013-05-30T13:16:27+00:00

joheras

2013-05-30T13:16:27+00:00

764a7f8e44f7412de80a4feb350aaa9bdd060b44