| Thu, 24 Apr 2014 10:24:44 +0200 | wenzelm | tuned signature in accordance to ML version; | file | diff | annotate |
| Thu, 24 Apr 2014 00:27:06 +0200 | wenzelm | more uniform synchronized variables; | file | diff | annotate |
| Mon, 27 Feb 2012 17:13:25 +0100 | wenzelm | prefer final ADTs -- prevent ooddities; | file | diff | annotate |
| Sun, 26 Feb 2012 19:36:35 +0100 | wenzelm | tuned signature (in accordance with ML); | file | diff | annotate |