From c8b961e1b5fbfc8e94b472cfdbb96b0b83fb2e89 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 24 Mar 2000 15:42:35 +0000
Subject: 3.1 not 3.2 change

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index ef6f2c92..b67c42f5 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -191,7 +191,7 @@
 
        ((proof-string-match (concat "\\`\\(" coq-keywords-decl-defn-regexp
 				    "\\)\\s-*\\(" proof-id 
-				    ;; da: PG 3.2: I added "." here to try
+				    ;; da: PG 3.1: I added "." here to try
 				    ;; to get undo for Section working.
 				    ;; (also changes in coq-syntax)
 				    ;; Coq users will have to tell me if it
-- 
cgit v1.2.3