| 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 |