| Mon, 19 Jan 2009 19:38:03 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Mon, 13 Oct 2008 15:48:39 +0200 | wenzelm | added generic combinator for synchronized evaluation (formerly in future.ML); | file | diff | annotate |
| Thu, 09 Oct 2008 20:53:17 +0200 | wenzelm | added fail-safe interrupt; | file | diff | annotate |
| Tue, 16 Sep 2008 15:37:32 +0200 | wenzelm | Simplified thread fork interface. | file | diff | annotate |