| Sat, 10 Jan 2009 16:55:46 +0100 | wenzelm | added cancel_proofs, based on task groups of "entered" proofs; | changeset | files |
| Sat, 10 Jan 2009 16:54:55 +0100 | wenzelm | added pending_groups -- accumulates task groups of local derivations only; | changeset | files |
| Sat, 10 Jan 2009 16:53:12 +0100 | wenzelm | added cancel_group; | changeset | files |