| 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 |
| Sat, 10 Jan 2009 16:00:34 +0100 | wenzelm | merged | changeset | files |
| Sat, 10 Jan 2009 13:11:56 +0100 | wenzelm | schedule_futures: tuned final consolidation, explicit after_load phase; | changeset | files |
| Sat, 10 Jan 2009 13:10:38 +0100 | wenzelm | load_thy: explicit after_load phase for presentation; | changeset | files |
| Sat, 10 Jan 2009 13:10:07 +0100 | wenzelm | excursion: commit_exit internally -- checkpoints are fully persistent now; | changeset | files |
| Sat, 10 Jan 2009 15:55:19 +0100 | wenzelm | slightly more robust matching of session name; | changeset | files |