| Thu, 01 Oct 2009 16:27:13 +0200 | wenzelm | added Task_Queue.depend (again) -- light-weight version for transitive graph; | changeset | files |
| Thu, 01 Oct 2009 16:09:47 +0200 | wenzelm | handle Pattern.MATCH, not arbitrary exceptions; | changeset | files |
| Thu, 01 Oct 2009 16:03:43 +0200 | wenzelm | more precise dependencies; | changeset | files |
| Thu, 01 Oct 2009 15:44:42 +0200 | wenzelm | eliminated redundant parameters; | changeset | files |