| Tue, 21 Oct 2008 16:52:59 +0200 | wenzelm | Future.join_result; | file | diff | annotate |
| Tue, 21 Oct 2008 15:01:18 +0200 | wenzelm | added Future.enabled check; | file | diff | annotate |
| Thu, 09 Oct 2008 20:53:16 +0200 | wenzelm | subject to Multithreading.enabled; | file | diff | annotate |
| Wed, 01 Oct 2008 12:00:02 +0200 | wenzelm | more robust treatment of Interrupt (cf. exn.ML); | file | diff | annotate |
| Sat, 27 Sep 2008 18:18:07 +0200 | wenzelm | moved release_results to future.ML; | file | diff | annotate |
| Thu, 25 Sep 2008 14:37:32 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Thu, 25 Sep 2008 14:35:03 +0200 | wenzelm | added release_results; | file | diff | annotate |
| Fri, 19 Sep 2008 21:22:31 +0200 | wenzelm | future tasks: support boolean priorities (true = high, false = low/irrelevant); | file | diff | annotate |
| Thu, 11 Sep 2008 13:24:14 +0200 | wenzelm | Parallel list combinators. | file | diff | annotate |