From 0d18d26b0467af4098d2de08cd8e4f81d490cd8b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 23 Jul 2004 13:17:47 +0000
Subject: Fixed Coq version detection at start.

---
 coq/coq-syntax.el | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 3c1e27e4..1df99654 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -92,28 +92,28 @@ version of coq by doing 'coqtop -v'. If this variable is put to t
 		  ;; da: added this to avoid type error in case coq command fails
 		  (if (null num) (setq num ""))
 		  (cond
-			((string-match num "\\<6.") 
+			((string-match "\\<6." num) 
 			 (message v6)
 			 (setq coq-version-is-V7 nil) 
 			 (setq coq-version-is-V74 nil))
-			((or (string-match num "\\<7.0") 
-				  (string-match num "\\<7.1") 
-				  (string-match num "\\<7.2") 
-				  (string-match num "\\<7.3")) 
+			((or (string-match "\\<7.0" num) 
+				  (string-match "\\<7.1" num) 
+				  (string-match "\\<7.2" num) 
+				  (string-match "\\<7.3" num)) 
 			 (message v7) 
 			 (setq coq-version-is-V7 t)
 			 (setq coq-version-is-V74 nil))
-			((string-match num "\\<7.4") 
+			((string-match "\\<7.4" num) 
 			 (message v74)
 			 (setq coq-version-is-V74 t)
 			 (setq coq-version-is-V7 t) )
-			((string-match num "\\<8") 
-			 (message (concat "falling back to default: " v8))
+			((string-match "\\<8." num) 
+			 (message v8)
 			 (setq coq-version-is-V8 t)
 			 (setq coq-version-is-V7 t) 
 			 (setq coq-version-is-V74 t))			
-			(t 
-			 (message (concat "falling back to default: " v8))
+			(t
+			 (message (concat "Falling back to default: " v8))
 			 (setq coq-version-is-V8 t)
 			 (setq coq-version-is-V7 t) 
 			 (setq coq-version-is-V74 t)))))))))
-- 
cgit v1.2.3