Thu, 04 Dec 2008 23:46:20 +0100 | wenzelm | refined Future.fork interfaces, no longer export Future.future; | changeset | files |
Thu, 04 Dec 2008 23:46:20 +0100 | wenzelm | fork/map: no inheritance of group (structure is nested, not parallel); | changeset | files |