proof-general/etc/coq/multiple/.cvsignore, branch master Emacs plugins for proof management systems *** empty log message *** 2000-12-14T18:54:07+00:00 David Aspinall 2000-12-14T18:54:07+00:00 14de42b72e90aa314b086d3a790e4b21ccb40ec4