From d52d7d723b6a48d77a8d399133f0633aed80777e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 31 Jan 2011 12:15:20 +0000 Subject: auto-solve -> auto-solve-direct for Isabelle2011. --- isar/isar-autotest.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'isar') diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el index 4207d28a..f24e3450 100644 --- a/isar/isar-autotest.el +++ b/isar/isar-autotest.el @@ -16,7 +16,7 @@ (proof-ready-for-assistant 'isar)) (declare-function isar-tracing:auto-quickcheck-toggle "isar.el") -(declare-function isar-tracing:auto-solve-toggle "isar.el") +(declare-function isar-tracing:auto-solve-direct-toggle "isar.el") (declare-function isar-proof:parallel-proofs-toggle "isar.el") (require 'pg-autotest) @@ -49,7 +49,7 @@ ;; Speed up 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-tracing:auto-solve-direct-toggle 0)) ; autosolve hammers this! (pg-autotest eval (proof-full-annotation-toggle 0)) (pg-autotest eval (isar-proof:parallel-proofs-toggle 0)) (proof-shell-wait) -- cgit v1.2.3