src/Pure/ProofGeneral/README
2007-01-22 aspinall 2007-01-22 Comments
2006-12-17 aspinall 2006-12-17 Add abstraction for objtypes and documents.
2006-12-04 aspinall 2006-12-04 Revamped Proof General interface.