diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 10:52:24 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-18 10:52:24 +0000 |
| commit | 51788ac359645045c999432b3e4584ee37ca992a (patch) | |
| tree | bdef8bae0c0460ca6ea8ab0dc344e47e5f87dda5 /isar/isar-profiling.el | |
| parent | 1c896e20c909954df3aad34c5cca1a11c21d40eb (diff) | |
Turn off parallel proofs setting (no noticeable difference for this test file)
Diffstat (limited to 'isar/isar-profiling.el')
| -rw-r--r-- | isar/isar-profiling.el | 1 |
1 files changed, 1 insertions, 0 deletions
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) |