| Wed, 02 Feb 2011 08:47:45 +0100 | krauss | made SML/NJ happy | changeset | files |
| Tue, 01 Feb 2011 21:09:52 +0100 | krauss | term style 'isub': ad-hoc subscripting of variables that end with digits (x1, x23, ...) | changeset | files |
| Wed, 02 Feb 2011 17:26:07 +0100 | wenzelm | refined Task_Queue.dequeue_deps (more incremental); | changeset | files |
| 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 |