| Fri, 04 Feb 2011 20:40:25 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 04 Feb 2011 16:33:12 +0100 | wenzelm | Task_Queue.update_timing: more precise treatment of interruptibility; | file | diff | annotate |
| Wed, 02 Feb 2011 20:32:50 +0100 | wenzelm | eliminated slightly odd abstract type Task_Queue.deps; | file | diff | annotate |
| Wed, 02 Feb 2011 17:26:07 +0100 | wenzelm | refined Task_Queue.dequeue_deps (more incremental); | file | diff | annotate |