Fri, 04 Feb 2011 17:11:00 +0100 | wenzelm | parallelization of nested Isar proofs is subject to Goal.parallel_proofs_threshold; | changeset | files |
Fri, 04 Feb 2011 16:33:12 +0100 | wenzelm | Task_Queue.update_timing: more precise treatment of interruptibility; | changeset | files |
Fri, 04 Feb 2011 16:29:47 +0100 | wenzelm | Lazy.force_result: more standard treatment of interruptibility, potentially addressing races of exceptions vs. interrupts; | changeset | files |