From 9ed9a25d4cc52a1417106e0db8c1e6507be60356 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Wed, 19 Jan 2011 10:09:22 +0000
Subject: - switch off automatic compilation for coq to not surprise users  
 too much

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

diff --git a/coq/coq.el b/coq/coq.el
index ef3b3969..69aec2dd 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1112,7 +1112,7 @@ Currently this doesn't take the loadpath into account."
   :group 'coq
   :package-version '(ProofGeneral . "4.1"))
 
-(defcustom coq-compile-before-require t
+(defcustom coq-compile-before-require nil
   "*If `t' check dependencies of required modules and compile if necessary.
 If `t' ProofGeneral intercepts \"Require\" commands and checks if the
 required library module and its dependencies are up-to-date. If not, they
-- 
cgit v1.2.3