From 60f0c1cb836825820a9c3e02624cdec598d9355b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 8 Sep 2010 13:12:28 +0000
Subject: Adjust configuration setting for automatic multiple files handling

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

diff --git a/coq/coq.el b/coq/coq.el
index 61e515c5..cb5b91d0 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -728,7 +728,8 @@ This is specific to `coq-mode'."
         'blink-matching-paren-dont-ignore-comments) t)
 
   ;; multiple file handling
-  (setq proof-cannot-reopen-processed-files t
+  (setq proof-cannot-reopen-processed-files nil
+        proof-auto-multiple-files t
         ;; proof-shell-inform-file-retracted-cmd 'coq-retract-file
         proof-shell-require-command-regexp coq-require-command-regexp
         proof-done-advancing-require-function 'coq-process-require-command)
-- 
cgit v1.2.3