2012-08-04 wenzelm 2012-08-04 refined outer syntax;
2012-08-03 wenzelm 2012-08-03 static outer syntax based on session specifications;
2012-04-14 wenzelm 2012-04-14 keyword ";" is declared via prover (as "minor", not "diag");
2012-03-16 wenzelm 2012-03-16 more abstract heading level;
2012-03-15 wenzelm 2012-03-15 maintain Version.syntax within document state; clarified Outer_Syntax.empty vs. Outer_Syntax.init, which pulls in Isabelle_System symbol completions;
2012-03-15 wenzelm 2012-03-15 explicit Outer_Syntax.Decl;
2012-02-27 wenzelm 2012-02-27 prefer final ADTs -- prevent ooddities;
2012-02-23 wenzelm 2012-02-23 streamlined abstract datatype;
2012-02-23 wenzelm 2012-02-23 streamlined abstract datatype;
2011-08-08 wenzelm 2011-08-08 avoid pointless completion of illegal control commands;
2011-07-12 wenzelm 2011-07-12 added Outer_Syntax.quote_string, which is conceptually a bit different from Token.unparse;
2011-07-07 wenzelm 2011-07-07 simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style"; tuned implicit build/init messages;
2011-06-19 wenzelm 2011-06-19 some unicode chars for special control symbols;
2011-06-18 wenzelm 2011-06-18 hardwired abbreviations for standard control symbols;
2011-06-16 wenzelm 2011-06-16 some support for partial scans with explicit context; clarified junk vs. junk1;
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);