| Wed, 14 Mar 2012 17:52:38 +0100 |
wenzelm |
source positions for locale and class expressions;
|
file |
diff |
annotate
|
| Sun, 20 Nov 2011 16:58:12 +0100 |
wenzelm |
eliminated dead code;
|
file |
diff |
annotate
|
| Mon, 14 Nov 2011 16:52:19 +0100 |
wenzelm |
pass positions for named targets, for formal links in the document model;
|
file |
diff |
annotate
|
| Fri, 04 Nov 2011 00:07:45 +0100 |
wenzelm |
more liberal Parse.fixes, to avoid overlap of mixfix with is-pattern (notably in 'obtain' syntax);
|
file |
diff |
annotate
|
| Sun, 21 Aug 2011 20:42:26 +0200 |
wenzelm |
tuned Parse.group: delayed failure message;
|
file |
diff |
annotate
|
| Sat, 23 Jul 2011 16:37:17 +0200 |
wenzelm |
defer evaluation of Scan.message, for improved performance in the frequent situation where failure is handled later (e.g. via ||);
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 15:12:50 +0200 |
wenzelm |
added Parse.properties (again) -- allow empty list like Parse_Value.properties but unlike Parse.properties of ef86de9c98aa;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 17:31:16 +0200 |
wenzelm |
more precise source position for @{rail};
|
file |
diff |
annotate
|
| Sun, 01 May 2011 18:05:09 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2011 23:29:50 +0200 |
wenzelm |
some position reports for 'translations';
|
file |
diff |
annotate
|
| Fri, 08 Apr 2011 22:59:52 +0200 |
wenzelm |
notation: proper markup for type constructor / constant;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2011 22:50:50 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2011 21:11:29 +0200 |
wenzelm |
discontinued Syntax.max_pri, which is not really a symbolic parameter;
|
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
|
| Sun, 31 Oct 2010 13:26:37 +0100 |
wenzelm |
syntax category "real" subsumes plain "int";
|
file |
diff |
annotate
|
| Sat, 30 Oct 2010 15:26:40 +0200 |
wenzelm |
support for floating-point tokens in outer syntax (coinciding with inner syntax version);
|
file |
diff |
annotate
|
| Mon, 17 May 2010 15:11:25 +0200 |
wenzelm |
renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time;
|
file |
diff |
annotate
|
| Mon, 17 May 2010 10:20:55 +0200 |
wenzelm |
centralized legacy aliases;
|
file |
diff |
annotate
|
| Sat, 15 May 2010 22:24:25 +0200 |
wenzelm |
renamed structure OuterKeyword to Keyword and OuterParse to Parse, keeping the old names as legacy aliases for some time;
|
file |
diff |
annotate
| base
|