From 865c151988a735837596cefc6c4abfda173db5cc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Mar 2004 17:35:13 +0000
Subject: Fix V7.4 -> V74

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

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 3922c7fd..6da832c8 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -65,10 +65,10 @@ version of coq by doing 'coqtop -v'."  )
 		(v7 (concat "proofgeneral is in coq > 6 and =< 7.3 mode" seedoc))
 		(v6 (concat "proofgeneral is in coq V6 mode" seedoc)))
   (cond
-	(coq-version-is-V8 
+   (coq-version-is-V8 
     (message v8) 
-    (setq coq-version-is-V7.4 t))
-	(coq-version-is-V74 
+    (setq coq-version-is-V74 t))
+   (coq-version-is-V74 
     (message v74) 
     (setq coq-version-is-V8 nil)
     (setq coq-version-is-V7 t))
-- 
cgit v1.2.3