diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-01-18 17:41:27 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-18 17:41:27 +0000 |
commit | a814d1df6c38662c69ca4c914a8819c161e32334 (patch) | |
tree | 6f4161fdd57347916c1fa1f2ce4b389d7583ed1e /coq/coq-autotest.el | |
parent | 5b5e03cef4876bfb5ff58ef9b87b91a6ffc0f6fc (diff) |
set proof-auto-action-when-deactivating-scripting to 'retract,
to stop new multiple file handling for Coq interactive queries
Diffstat (limited to 'coq/coq-autotest.el')
-rw-r--r-- | coq/coq-autotest.el | 4 |
1 files changed, 4 insertions, 0 deletions
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) |