src/Pure/Isar/outer_keyword.ML
2009-01-05 wenzelm 2009-01-05 added is_control, is_regular, is_theory_begin;
2008-10-09 wenzelm 2008-10-09 report: back to single message;
2008-09-30 wenzelm 2008-09-30 more command categories; tuned;
2008-09-24 wenzelm 2008-09-24 report: produce individual status messages;
2008-08-09 wenzelm 2008-08-09 dest: sort strings; report: Output.status;
2008-08-07 wenzelm 2008-08-07 adapted Scan.extend_lexicon/merge_lexicons;
2008-07-10 wenzelm 2008-07-10 change_lexicons: no verbosity;
2008-07-10 wenzelm 2008-07-10 added is_diag;
2008-07-02 wenzelm 2008-07-02 replaced datatype category constructivism by is_theory/is_proof;
2008-07-01 wenzelm 2008-07-01 added datatype category;
2008-06-25 wenzelm 2008-06-25 moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces; lexicons: allow overlapping keywords/commands -- warning instead of error;
2005-09-06 haftmann 2005-09-06 eliminated 1 call to polyEq
2005-08-16 wenzelm 2005-08-16 Isar command keyword classification (from Isar/outer_syntax.ML);