src/Pure/Isar/parse.ML
2012-08-23 wenzelm 2012-08-23 tuned messages: end-of-input rarely means physical end-of-file from the past;
2012-08-22 wenzelm 2012-08-22 clarified Parse.path vs. Parse.explode -- prefer errors in proper transaction context;
2012-03-14 wenzelm 2012-03-14 source positions for locale and class expressions;
2011-11-20 wenzelm 2011-11-20 eliminated dead code;
2011-11-14 wenzelm 2011-11-14 pass positions for named targets, for formal links in the document model;
2011-11-04 wenzelm 2011-11-04 more liberal Parse.fixes, to avoid overlap of mixfix with is-pattern (notably in 'obtain' syntax);
2011-08-21 wenzelm 2011-08-21 tuned Parse.group: delayed failure message;
2011-07-23 wenzelm 2011-07-23 defer evaluation of Scan.message, for improved performance in the frequent situation where failure is handled later (e.g. via ||);
2011-07-12 wenzelm 2011-07-12 added Parse.properties (again) -- allow empty list like Parse_Value.properties but unlike Parse.properties of ef86de9c98aa;
2011-05-03 wenzelm 2011-05-03 more precise source position for @{rail};
2011-05-01 wenzelm 2011-05-01 tuned;
2011-04-09 wenzelm 2011-04-09 some position reports for 'translations';
2011-04-08 wenzelm 2011-04-08 notation: proper markup for type constructor / constant;
2011-04-08 wenzelm 2011-04-08 tuned signature;
2011-04-08 wenzelm 2011-04-08 discontinued Syntax.max_pri, which is not really a symbolic parameter;
2011-04-08 wenzelm 2011-04-08 discontinued special treatment of structure Mixfix; eliminated slightly odd no_syn convenience;
2010-11-28 wenzelm 2010-11-28 Parse.liberal_name for document antiquotations and attributes;
2010-11-28 wenzelm 2010-11-28 added Parse.literal_fact with proper inner_syntax markup (source position); tuned;
2010-10-31 wenzelm 2010-10-31 syntax category "real" subsumes plain "int";
2010-10-30 wenzelm 2010-10-30 support for floating-point tokens in outer syntax (coinciding with inner syntax version);
2010-05-17 wenzelm 2010-05-17 renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time; eliminated slightly odd alias structure T;
2010-05-17 wenzelm 2010-05-17 centralized legacy aliases;
2010-05-15 wenzelm 2010-05-15 renamed structure OuterKeyword to Keyword and OuterParse to Parse, keeping the old names as legacy aliases for some time;