diff options
| -rw-r--r-- | coq/coq-autotest.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el index d1c32cb6..9d12fa1b 100644 --- a/coq/coq-autotest.el +++ b/coq/coq-autotest.el @@ -14,8 +14,12 @@ (require 'pg-autotest) +(setq pg-autotest-debug t) + (unless noninteractive - + + (pg-autotest start 'debug) + ;; new multiple file handling for Coq gives interactive queries ;; continually unless we set this (setq proof-auto-action-when-deactivating-scripting 'retract) |