| Wed, 11 Apr 2012 13:37:46 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Mon, 11 Jul 2011 22:55:47 +0200 | wenzelm | tuned signature -- corresponding to Scala version; | file | diff | annotate |
| Thu, 22 Jul 2010 14:59:27 +0200 | wenzelm | eliminated some unreferenced identifiers; | file | diff | annotate |
| Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |
| Sat, 06 Feb 2010 22:01:48 +0100 | wenzelm | explicit representation of single-assignment variables; | file | diff | annotate |