Sat, 19 Nov 2011 21:18:38 +0100 | wenzelm | added ML antiquotation @{attributes}; | file | diff | annotate |
Sun, 21 Aug 2011 20:42:26 +0200 | wenzelm | tuned Parse.group: delayed failure message; | file | diff | annotate |
Fri, 08 Apr 2011 14:20:57 +0200 | wenzelm | discontinued special treatment of structure Mixfix; | file | diff | annotate |
Sun, 28 Nov 2010 21:07:28 +0100 | wenzelm | Parse.liberal_name for document antiquotations and attributes; | file | diff | annotate |
Sun, 28 Nov 2010 20:03:19 +0100 | wenzelm | added Parse.literal_fact with proper inner_syntax markup (source position); | file | diff | annotate |
Mon, 17 May 2010 10:20:55 +0200 | wenzelm | centralized legacy aliases; | file | diff | annotate |
Sat, 15 May 2010 23:32:15 +0200 | wenzelm | renamed structure SpecParse to Parse_Spec, keeping the old name as alias for some time; | file | diff | annotate | base |