src/Pure/Isar/outer_keyword.ML
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);