1 files changed, 2 insertions, 0 deletions
diff --git a/coq/coq.el b/coq/coq.el
index c4390a9a..4e4a173f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -329,6 +329,8 @@
 
   (setq proof-www-home-page coq-www-home-page)
 
+  (setq proof-mode-for-script 'coq-mode)
+
   (setq proof-prf-string "Show"
 	proof-ctxt-string "Print All"
 	proof-help-string "Help")