| Tue, 09 Sep 2008 16:29:32 +0200 | wenzelm | job: explicit 'ok' status -- false for canceled jobs; | file | diff | annotate |
| Mon, 08 Sep 2008 21:08:30 +0200 | wenzelm | proper signature constraint; | file | diff | annotate |
| Mon, 08 Sep 2008 20:33:27 +0200 | wenzelm | moved thread data to future.ML (again); | file | diff | annotate |
| Mon, 08 Sep 2008 16:08:18 +0200 | wenzelm | Ordered queue of grouped tasks. | file | diff | annotate |