From ff971c22fabf3c0d10db6a013f80485a646656ca Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 Nov 1999 16:04:01 +0000
Subject: Use auto multiple files until something better comes along

---
 coq/coq.el | 2 ++
 1 file changed, 2 insertions(+)

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
-- 
cgit v1.2.3