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