| Thu, 13 Aug 2015 11:05:19 +0200 |
wenzelm |
tuned signature, in accordance to sortBy in Scala;
|
file |
diff |
annotate
|
| Sun, 06 Apr 2014 16:36:28 +0200 |
wenzelm |
more source positions;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 17:51:16 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 11:48:45 +0200 |
wenzelm |
renamed Position.str_of to Position.here;
|
file |
diff |
annotate
|
| Wed, 21 Mar 2012 11:00:34 +0100 |
wenzelm |
prefer explicitly qualified exception List.Empty;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2011 23:04:12 +0100 |
wenzelm |
removed obsolete argument (cf. 954e9d6782ea);
|
file |
diff |
annotate
|
| Fri, 25 Nov 2011 16:32:29 +0100 |
wenzelm |
prefer Parser.make_gram over Parser.merge_gram, to approximate n-ary merges on theory import;
|
file |
diff |
annotate
|
| Tue, 09 Aug 2011 16:09:10 +0200 |
kleing |
removed "extremely ambigous" warning; has been ignored by everyone for years.
|
file |
diff |
annotate
|
| Sun, 17 Apr 2011 13:47:22 +0200 |
wenzelm |
clarified pretty_parsetree: suppress literal tokens;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2011 15:02:11 +0200 |
wenzelm |
discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext);
|
file |
diff |
annotate
|
| Thu, 07 Apr 2011 23:25:09 +0200 |
wenzelm |
report literal tokens according to parsetree head;
|
file |
diff |
annotate
|
| Tue, 05 Apr 2011 15:04:55 +0200 |
wenzelm |
use standard tables with standard argument order;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2011 23:52:56 +0200 |
wenzelm |
accumulate parsetrees in canonical reverse order;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2011 23:26:32 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 04 Apr 2011 22:58:15 +0200 |
wenzelm |
tuned -- removed redundancy;
|
file |
diff |
annotate
|