| Sat, 27 Sep 2008 18:18:08 +0200 | wenzelm | dequeue_towards: return bound for unfinished tasks; | changeset | files |
| Sat, 27 Sep 2008 18:18:07 +0200 | wenzelm | moved release_results to future.ML; | changeset | files |
| Sat, 27 Sep 2008 18:18:06 +0200 | wenzelm | added release_results (formerly in par_list.ML); | changeset | files |
| Sat, 27 Sep 2008 18:18:05 +0200 | wenzelm | Future.release_results; | changeset | files |