| Wed, 16 Jan 2013 11:31:08 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Sun, 18 Nov 2012 15:38:37 +0100 | wenzelm | adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware; | file | diff | annotate |
| Wed, 22 Aug 2012 12:07:11 +0200 | wenzelm | clarified bootstrapping of Pure; | file | diff | annotate |
| Thu, 24 May 2012 15:01:17 +0200 | wenzelm | discontinued support for Poly/ML 5.2.1; | file | diff | annotate |
| Mon, 11 Jul 2011 22:55:47 +0200 | wenzelm | tuned signature -- corresponding to Scala version; | file | diff | annotate |
| Tue, 08 Feb 2011 14:09:24 +0100 | wenzelm | added Multithreading.interrupted (cf. java.lang.Thread.interrupted); | file | diff | annotate |
| Sat, 05 Feb 2011 18:09:57 +0100 | wenzelm | clarified bootstrapping of structure TimeLimit; | file | diff | annotate |