From 51788ac359645045c999432b3e4584ee37ca992a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 18 Aug 2010 10:52:24 +0000 Subject: Turn off parallel proofs setting (no noticeable difference for this test file) --- isar/isar-profiling.el | 1 + 1 file changed, 1 insertion(+) (limited to 'isar/isar-profiling.el') diff --git a/isar/isar-profiling.el b/isar/isar-profiling.el index c9e4039f..22777c5b 100644 --- a/isar/isar-profiling.el +++ b/isar/isar-profiling.el @@ -28,6 +28,7 @@ (pg-autotest eval (proof-shell-ready-prover)) (pg-autotest eval (isar-tracing:auto-quickcheck-toggle 0)) (pg-autotest eval (isar-tracing:auto-solve-toggle 0)) ; autosolve hammers this! + (pg-autotest eval (isar-proof:parallel-proofs-toggle 0)) (pg-autotest eval (proof-full-annotation-toggle 0)) (proof-shell-wait) -- cgit v1.2.3