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 |