| Mon, 09 Apr 2012 17:22:23 +0200 | wenzelm | simplified Future.cancel/cancel_group (again) -- running threads only; | file | diff | annotate |
| Sat, 26 Nov 2011 13:10:12 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 06 Nov 2011 13:25:41 +0100 | wenzelm | optional timing, to avoid redundant allocation of mutable cells; | file | diff | annotate |