src/Pure/Isar/parse_spec.ML
Tue, 09 Apr 2013 12:56:26 +0200 wenzelm just one syntax category "mixfix" -- check structure annotation semantically;
Wed, 10 Oct 2012 15:21:26 +0200 wenzelm more explicit namespace prefix for 'statespace' -- duplicate facts;
Wed, 21 Mar 2012 21:06:31 +0100 wenzelm optional 'includes' element for long theorem statements;
Wed, 14 Mar 2012 17:52:38 +0100 wenzelm source positions for locale and class expressions;
Sat, 19 Nov 2011 21:18:38 +0100 wenzelm added ML antiquotation @{attributes};
Sun, 21 Aug 2011 20:42:26 +0200 wenzelm tuned Parse.group: delayed failure message;
Fri, 08 Apr 2011 14:20:57 +0200 wenzelm discontinued special treatment of structure Mixfix;
Sun, 28 Nov 2010 21:07:28 +0100 wenzelm Parse.liberal_name for document antiquotations and attributes;
Sun, 28 Nov 2010 20:03:19 +0100 wenzelm added Parse.literal_fact with proper inner_syntax markup (source position);
Mon, 17 May 2010 10:20:55 +0200 wenzelm centralized legacy aliases;
Sat, 15 May 2010 23:32:15 +0200 wenzelm renamed structure SpecParse to Parse_Spec, keeping the old name as alias for some time;
less more (0) tip