proof-general/doc/README.documentation, branch master Emacs plugins for proof management systems rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif} 2013-05-22T19:05:48+00:00 Hendrik Tews 2013-05-22T19:05:48+00:00 00ba5d0fb4ee7754f095f73621c613cb816c1ce9 to fix #472 
to fix #472
Renamed file 2004-02-29T21:24:48+00:00 David Aspinall 2004-02-29T21:24:48+00:00 5509246fe0099efb13541a420191f0408a83ae5c