| Sun, 19 Jul 2009 18:02:40 +0200 | wenzelm | more abstract Future.is_worker; | changeset | files |
| Sun, 19 Jul 2009 17:08:34 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 19 Jul 2009 14:15:47 +0200 | wenzelm | future_result: explicitly impose Variable.sorts_of again; | changeset | files |
| Sun, 19 Jul 2009 14:14:25 +0200 | wenzelm | recovered a version of dequeue_towards (cf. bb7b5a5942c7); | changeset | files |