src/Pure/ProofGeneral/pgip_tests.ML
Sat, 03 Mar 2007 12:43:16 +0100 aspinall Update test for new parse result
Mon, 22 Jan 2007 16:52:26 +0100 aspinall Test askref
Thu, 18 Jan 2007 11:16:49 +0100 aspinall Fix pgmlsymbolsoff
Fri, 29 Dec 2006 18:25:46 +0100 wenzelm minor tuning;
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