From 16806a54e6460675a619ea647be1c38f71b30cf7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 2 Oct 1998 13:53:38 +0000
Subject: Added $ to coq automode regexp

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

(limited to 'generic')

diff --git a/generic/proof-site.el b/generic/proof-site.el
index d21e9081..90374388 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -17,7 +17,7 @@
 (defconst proof-general-supported-assistants
   '((isa	"Isabelle"	"\\.ML$\\|\\.thy$")
     (lego	"LEGO"		"\\.l$")
-    (coq	"Coq"		"\\.v"))
+    (coq	"Coq"		"\\.v$"))
   "Table of supported proof assistants.
 Each entry is a list of the form
 
-- 
cgit v1.2.3