From aff390544f3133d2b7a8d91e8764a99876154f2c Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Fri, 22 May 1998 11:31:33 +0000
Subject: Correct path for coq-prog-name and coq-tags.

---
 coq.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/coq.el b/coq.el
index 13ec1dcd..2ae1d55c 100644
--- a/coq.el
+++ b/coq.el
@@ -3,6 +3,9 @@
 ;; Author: Healfdene Goguen and Thomas Kleymann
 
 ;; $Log$
+;; Revision 1.24  1998/05/22 11:31:33  hhg
+;; Correct path for coq-prog-name and coq-tags.
+;;
 ;; Revision 1.23  1998/05/15 16:16:55  hhg
 ;; Changed variable names [s]ext to span.
 ;; Fixed coq-find-and-forget pattern for declarations and definitions
@@ -118,7 +121,7 @@
 (defconst coq-mode-version-string
   "Coq-MODE. ALPHA Version 1.11 (June 1996) LEGO Team <lego@dcs.ed.ac.uk>")
 
-(defvar coq-tags "/usr/local/lib/coq/V6.2/theories/TAGS"
+(defvar coq-tags "/usr/local/lib/coq/theories/TAGS"
   "the default TAGS table for the Coq library")
 
 (defconst coq-info-dir "/usr/local/share/info")
-- 
cgit v1.2.3