diff options
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) |