proof-general/lib/README, branch master Emacs plugins for proof management systems New files. 2004-08-25T11:30:25+00:00 David Aspinall 2004-08-25T11:30:25+00:00 2b2de25d78772a6883034d94539b3467a3337e93