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