| Fri, 19 Aug 2011 14:01:20 +0200 | wenzelm | Future.promise: explicit abort operation (like uninterruptible future job); | file | diff | annotate |
| Mon, 11 Jul 2011 22:55:47 +0200 | wenzelm | tuned signature -- corresponding to Scala version; | file | diff | annotate |
| Mon, 11 Jul 2011 17:10:32 +0200 | wenzelm | tuned signature; | file | diff | annotate |