From a814d1df6c38662c69ca4c914a8819c161e32334 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 18 Jan 2011 17:41:27 +0000 Subject: set proof-auto-action-when-deactivating-scripting to 'retract, to stop new multiple file handling for Coq interactive queries --- coq/coq-autotest.el | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'coq/coq-autotest.el') diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el index 351b66ce..9efdea22 100644 --- a/coq/coq-autotest.el +++ b/coq/coq-autotest.el @@ -16,6 +16,10 @@ (unless noninteractive + ;; new multiple file handling for Coq gives interactive queries + ;; continually unless we set this + (setq proof-auto-action-when-deactivating-scripting 'retract) + (pg-autotest log ".autotest.log") ; convention (pg-autotest timestart 'total) -- cgit v1.2.3