src/Pure/ProofGeneral/pgip_tests.ML
2008-04-03 wenzelm 2008-04-03 XML.string_of, XML.parse;
2007-11-04 wenzelm 2007-11-04 removed obsolete ProofGeneral/parsing.ML;
2007-08-09 aspinall 2007-08-09 PGIP change: thyname is optional in opentheory, markup even in case of header parse failure
2007-07-12 wenzelm 2007-07-12 renamed PgipParser to OldPgipParser;
2007-06-20 aspinall 2007-06-20 Remove dedicated flag setting elements in favour of setproverflag.
2007-03-03 aspinall 2007-03-03 Update test for new parse result
2007-01-22 aspinall 2007-01-22 Test askref
2007-01-18 aspinall 2007-01-18 Fix pgmlsymbolsoff
2006-12-29 wenzelm 2006-12-29 minor tuning;
2006-12-17 aspinall 2006-12-17 Add abstraction for objtypes and documents.
2006-12-04 aspinall 2006-12-04 Revamped Proof General interface.