src/Pure/ProofGeneral/pgip_parser.ML
2009-10-20 haftmann 2009-10-20 replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-09-01 wenzelm 2009-09-01 modernized Thy_Header;
2009-01-21 wenzelm 2009-01-21 removed Ids;
2009-01-02 wenzelm 2009-01-02 renamed ThyEdit (in thy_edit.ML) to ThySyntax (in thy_syntax.ML);
2008-08-28 wenzelm 2008-08-28 present_token: disable print_mode, which is YXML now;
2008-08-12 wenzelm 2008-08-12 adapted ThyEdit operations;
2008-07-20 wenzelm 2008-07-20 adapted ThyEdit.span;
2008-06-25 wenzelm 2008-06-25 moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
2007-08-09 aspinall 2007-08-09 PGIP change: thyname is optional in opentheory, markup even in case of header parse failure
2007-07-19 wenzelm 2007-07-19 adapted ThyHeader.read;
2007-07-12 wenzelm 2007-07-12 Parsing theory sources without execution (via keyword classification).