1 files changed, 2 insertions, 0 deletions
diff --git a/coq/coq.el b/coq/coq.el
index f269917e..76abab6c 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -443,6 +443,8 @@
 	proof-goal-with-hole-regexp coq-goal-with-hole-regexp
 	proof-indent-commands-regexp (proof-ids-to-regexp coq-keywords))
 
+  (setq proof-auto-multiple-files t)	; until Coq has real support
+
   (coq-init-syntax-table)
 
 ;; font-lock