Sat, 06 Dec 2008 00:02:11 +0100 | wenzelm | added new_task; | changeset | files |
Sat, 06 Dec 2008 00:01:57 +0100 | wenzelm | added constant value; | changeset | files |
Fri, 05 Dec 2008 20:38:40 +0100 | wenzelm | refined type deriv: replaced all_promises by max_promise (dependency limit) and open_promises (potentially unfinished/failed promises); | changeset | files |