src/Pure/Isar/outer_syntax.scala
2010-11-13 wenzelm 2010-11-13 somewhat adhoc replacement for 'thus' and 'hence'; complete words as short as 2 characters, e.g. "Un";
2010-11-10 wenzelm 2010-11-10 eliminated obsolete heading category -- superseded by heading_level;
2010-11-10 wenzelm 2010-11-10 treat main theory commands like headings, and nest anything else inside;
2010-11-10 wenzelm 2010-11-10 default Sidekick parser based on section headings;
2010-11-10 wenzelm 2010-11-10 some support for nested source structure, based on section headings;
2010-08-17 wenzelm 2010-08-17 report command token name instead of kind, which can be retrieved later via Outer_Syntax.keyword_kind;
2010-05-17 wenzelm 2010-05-17 renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
2010-05-15 wenzelm 2010-05-15 renamed Outer_Keyword to Keyword (in Scala);
2010-01-05 wenzelm 2010-01-05 tuned message;
2009-12-22 wenzelm 2009-12-22 renamed class Outer_Keyword to Outer_Syntax; renamed tokenize to scan (cf. ML version);