From eab3b1d134cc58d975a81cacfb5ef4008aeefec6 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 19 Mar 2004 13:05:27 +0000
Subject:  .v7 and .v8 added as coq file possible extensions.

---
 generic/proof-site.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 6a8fb15b..5f2d7315 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -115,7 +115,7 @@ You can use customize to set this variable."
     (isa        "Isabelle"	"\\.ML$\\|\\.thy$")
     (isar       "Isabelle/Isar" "\\.thy$")
     (lego	"LEGO"		"\\.l$")
-    (coq	"Coq"		"\\.v$")
+    (coq	"Coq"		"\\.v$\\|\\.v8$\\|\\.v7$")
     (phox	"PhoX"		"\\.phx$")
     ;; The following provers are not fully supported, and have only
     ;; preliminary support written (please volunteer to improve them!)
-- 
cgit v1.2.3