lib/ProofGeneral/README
2005-09-30 aspinall 2005-09-30 Explanatory text