src/Pure/ProofGeneral/pgip_parser.ML
2010-05-27 wenzelm 2010-05-27 renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
2010-05-15 wenzelm 2010-05-15 refer directly to structure Keyword and Parse; eliminated old-style structure aliases K and P;
2010-04-23 wenzelm 2010-04-23 added keyword category "schematic goal", which prevents any attempt to fork the proof;
2009-10-21 haftmann 2009-10-21 dropped redundant gen_ prefix
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).