src/Pure/Isar/parse_spec.ML
2011-08-21 wenzelm 2011-08-21 tuned Parse.group: delayed failure message;
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-05-17 wenzelm 2010-05-17 centralized legacy aliases;
2010-05-15 wenzelm 2010-05-15 renamed structure SpecParse to Parse_Spec, keeping the old name as alias for some time;