Tue, 20 Jul 2010 18:19:50 +0200 | wenzelm | edit_document: join parent execution in synchronous/uninterruptible mode, to prevent spurious interrupts when cascaded executions run into each other; | changeset | files |
Tue, 20 Jul 2010 17:35:42 +0200 | wenzelm | back to more strict dependencies, even for canceled groups (reverting parts of 02936e77a07c); | changeset | files |
Tue, 20 Jul 2010 16:42:48 +0200 | wenzelm | export Graph.get_entry for convenience; | changeset | files |