src/Pure/ProofGeneral/README
Mon, 02 Mar 2009 20:29:43 +0100 wenzelm removed Ids;
Mon, 22 Jan 2007 15:36:58 +0100 aspinall Comments
Sun, 17 Dec 2006 22:43:50 +0100 aspinall Add abstraction for objtypes and documents.
Mon, 04 Dec 2006 20:40:11 +0100 aspinall Revamped Proof General interface.
less more (0) tip