From d9f13df8b61eb6b7fb58d3c37a0e43fccb7226d6 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Wed, 6 Apr 2011 06:52:45 +0000
Subject: * disable file safe when switching to new buffers for coq

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

diff --git a/coq/coq.el b/coq/coq.el
index 2c048ad5..c63370c4 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -755,6 +755,10 @@ This is specific to `coq-mode'."
   (setq proof-guess-command-line 'coq-guess-command-line)
   (setq proof-prog-name-guess t)
 
+  ;; We manage file saveing via coq-compile-auto-save and for coq
+  ;; it is not necessary to save files when starting a new buffer.
+  (setq proof-query-file-save-when-activating-scripting nil)
+  
   ;; Commands sent to proof engine
   (setq proof-showproof-command "Show. "
         proof-context-command "Print All. "
-- 
cgit v1.2.3