src/Pure/Isar/outer_lex.ML
2006-10-11 wenzelm 2006-10-11 is_sid: disallow 'begin' keyword as identifier;
2006-09-21 wenzelm 2006-09-21 member (op =);
2006-07-12 wenzelm 2006-07-12 removed ':' from category of symbolic identifier chars;
2006-03-21 wenzelm 2006-03-21 avoid polymorphic equality;
2006-01-03 wenzelm 2006-01-03 unparse String/AltString: escape quotes;
2005-08-28 wenzelm 2005-08-28 added AltString token (delimited by ASCII back-quotes); ASCII back-quote no longer symbolic char;
2005-08-16 wenzelm 2005-08-16 clarify is_newline vs. is_blank; removed is_indent; added is_comment;
2005-05-22 wenzelm 2005-05-22 added ident_with;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-10-01 aspinall 2004-10-01 Allow scanning to recover and reconstruct bad input
2004-09-28 aspinall 2004-09-28 Fix to unparse to not double-escape backslash
2004-08-18 aspinall 2004-08-18 Make token an eqtype to assist reconstructing input
2004-06-21 wenzelm 2004-06-21 added unparse;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-05-10 wenzelm 2004-05-10 changed Symbol.beginning;
2000-12-29 wenzelm 2000-12-29 recover: malformed result;
2000-06-29 wenzelm 2000-06-29 fixed is_semicolon (keyword instead of command!);
2000-06-27 wenzelm 2000-06-27 OuterLex.name_of: include val;
2000-06-25 wenzelm 2000-06-25 added !!!; added is_semicolon; export incr_line, keep_line, scan_blank, scan_string; added source_proper; added make_lexicon; tuned;
2000-06-07 wenzelm 2000-06-07 string syntax: allow \\ \" \\n only;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-04-03 wenzelm 2000-04-03 tuned recover;
2000-04-01 wenzelm 2000-04-01 added is_newline;
2000-03-26 wenzelm 2000-03-26 added is_begin/end_ignore;
2000-02-10 wenzelm 2000-02-10 symid: include single symbolic char;
1999-10-21 wenzelm 1999-10-21 added is_indent;
1999-10-03 wenzelm 1999-10-03 added Space, Comment token kinds (keep actual text); source: do not filter proper;
1999-09-04 wenzelm 1999-09-04 removed text vars;
1999-07-16 wenzelm 1999-07-16 separate command tokens;
1999-06-30 wenzelm 1999-06-30 sync token;
1999-05-27 wenzelm 1999-05-27 changed {| |} verbatim syntax to {* *} in order to simplify ProofGeneral setup;
1998-11-16 wenzelm 1998-11-16 replaced is_symid by is_sid;
1998-11-09 wenzelm 1998-11-09 Outer lexical syntax for Isabelle/Isar.