| Wed, 02 Feb 2011 15:04:09 +0100 | wenzelm | maintain Task_Queue.group within Task_Queue.task; | changeset | files |
| Wed, 02 Feb 2011 13:44:40 +0100 | wenzelm | tuned comment; | changeset | files |
| Wed, 02 Feb 2011 13:38:09 +0100 | wenzelm | Future.join_results: discontinued post-hoc recording of dynamic dependencies; | changeset | files |
| Tue, 01 Feb 2011 22:24:28 +0100 | wenzelm | more informative task timing: some dependency tracking; | changeset | files |
| Tue, 01 Feb 2011 21:05:22 +0100 | wenzelm | refined task timing: joining vs. waiting; | changeset | files |
| Tue, 01 Feb 2011 19:39:26 +0100 | wenzelm | simplified trace; | changeset | files |
| Mon, 31 Jan 2011 23:53:07 +0100 | wenzelm | more specific Goal.fork_name; | changeset | files |