| Tue, 21 Jul 2009 20:37:32 +0200 | wenzelm | simultaneous join_proofs; | changeset | files |
| Tue, 21 Jul 2009 20:37:31 +0200 | wenzelm | map: subgroup of worker_group; | changeset | files |
| Tue, 21 Jul 2009 20:37:31 +0200 | wenzelm | added worker_group; | changeset | files |
| Tue, 21 Jul 2009 20:37:31 +0200 | wenzelm | support for nested groups -- cancellation is propagated to peers and subgroups; | changeset | files |
| Tue, 21 Jul 2009 20:24:02 +0200 | wenzelm | added flatten/flatten_list -- supercedes internal plain_exns; | changeset | files |
| Tue, 21 Jul 2009 15:25:22 +0200 | wenzelm | propagate exceptions within future groups; | changeset | files |