2011-04-09 ago some position reports for 'translations';
2011-04-08 ago notation: proper markup for type constructor / constant;
2011-04-08 ago tuned signature;
2011-04-08 ago discontinued Syntax.max_pri, which is not really a symbolic parameter;
2011-04-08 ago discontinued special treatment of structure Mixfix;
2010-11-28 ago Parse.liberal_name for document antiquotations and attributes;
2010-11-28 ago added Parse.literal_fact with proper inner_syntax markup (source position);
2010-10-31 ago syntax category "real" subsumes plain "int";
2010-10-30 ago support for floating-point tokens in outer syntax (coinciding with inner syntax version);
2010-05-17 ago renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time;
2010-05-17 ago centralized legacy aliases;
2010-05-15 ago renamed structure OuterKeyword to Keyword and OuterParse to Parse, keeping the old names as legacy aliases for some time;