src/Pure/Isar/outer_lex.ML
2007-07-28 wenzelm 2007-07-28 tuned;
2007-07-11 wenzelm 2007-07-11 Symbol.not_eof/sync is superceded by Symbol.is_regular (rules out further control symbols); replaced OuterLex.name_of by more sophisticated OuterLex.text_of; tuned;
2007-07-11 wenzelm 2007-07-11 separated Malformed (symbolic char) from Error (bad input); unparse: Output.escape_malformed; name_of: use unparse;
2007-07-10 wenzelm 2007-07-10 added kind_of; unparse: extra care for Malformed;
2007-07-10 wenzelm 2007-07-10 nested source: explicit interactive flag for recover avoids duplicate errors;
2007-07-09 wenzelm 2007-07-09 Malformed token: error msg; scan: explicit handling of malformed symbols from previous stage; source: interactive flag indicates intermittent error_msg; tuned;
2007-05-08 wenzelm 2007-05-08 is_sid: include '::';
2006-12-30 wenzelm 2006-12-30 removed misleading OuterLex.eq_token;
2006-12-28 wenzelm 2006-12-28 tuned;
2006-12-27 haftmann 2006-12-27 exported explicit equality on tokens
2006-12-15 wenzelm 2006-12-15 avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
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.