src/Pure/Isar/outer_keyword.scala
2009-12-22 wenzelm 2009-12-22 renamed class Outer_Keyword to Outer_Syntax; renamed tokenize to scan (cf. ML version);
2009-12-22 wenzelm 2009-12-22 added completion -- lazy avoids excessive table building; tuned signature;
2009-12-22 wenzelm 2009-12-22 class Outer_Keyword wraps symbol interpretation, lexicon, keyword table;
2009-08-29 wenzelm 2009-08-29 misc tuning;
2009-01-11 wenzelm 2009-01-11 tuned categories;
2009-01-11 wenzelm 2009-01-11 added outer_keyword.scala: Isar command keyword classification;