src/Pure/Isar/parse.ML
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;