Documentation of ML4PG
ML4PG modification
Removing hidden files from ML4PG.
Removing hidden files of ML4PG.
*** empty log message ***
Remove link in tar file.
Moving ML4PG from coq directory to contrib directory.
Inclusion of ML4PG in coq.el file.
Removing ML4PG files from coq folder.
Removing ML4PG files from coq folder.
Removing files from ML4PG folder
Authors of ML4PG