src/Pure/Isar/outer_lex.ML
2000-04-03 ago tuned recover;
2000-04-01 ago added is_newline;
2000-03-26 ago added is_begin/end_ignore;
2000-02-10 ago symid: include single symbolic char;
1999-10-21 ago added is_indent;
1999-10-03 ago added Space, Comment token kinds (keep actual text);
1999-09-04 ago removed text vars;
1999-07-16 ago separate command tokens;
1999-06-30 ago sync token;
1999-05-27 ago changed {| |} verbatim syntax to {* *} in order to simplify ProofGeneral setup;
1998-11-16 ago replaced is_symid by is_sid;
1998-11-09 ago Outer lexical syntax for Isabelle/Isar.