| Wed, 22 Jul 2009 10:45:35 +0200 | wenzelm | shutdown future scheduler after (failed) SAT_Examples, to workaround interference problem with follow-up theory loading; | changeset | files |
| Tue, 21 Jul 2009 23:42:29 +0200 | wenzelm | future_job: tight scope for interrupts, to prevent shooting ourselves in the foot via cancel_group; | changeset | files |
| Tue, 21 Jul 2009 20:37:32 +0200 | wenzelm | maintain Future.worker_group as management data; | changeset | files |
| Tue, 21 Jul 2009 20:37:32 +0200 | wenzelm | join_proofs: implicit exception; | changeset | files |