From b5dcf23f40912370bc9df28149c55f2a6a08675a Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Wed, 3 Jun 1998 13:57:10 +0000
Subject: Added definition of proof-commands-regexp for coq

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

diff --git a/coq.el b/coq.el
index e322490b..47de7fe6 100644
--- a/coq.el
+++ b/coq.el
@@ -3,6 +3,9 @@
 ;; Author: Healfdene Goguen and Thomas Kleymann
 
 ;; $Log$
+;; Revision 1.27  1998/06/03 13:57:10  hhg
+;; Added definition of proof-commands-regexp for coq
+;;
 ;; Revision 1.26  1998/06/02 15:34:43  hhg
 ;; Generalized proof-retract-target, now parameterized by
 ;; proof-count-undos and proof-find-and-forget.
@@ -419,7 +422,8 @@
   (setq proof-save-command-regexp coq-save-command-regexp
 	proof-save-with-hole-regexp coq-save-with-hole-regexp
 	proof-goal-with-hole-regexp coq-goal-with-hole-regexp
-	proof-kill-goal-command coq-kill-goal-command)
+	proof-kill-goal-command coq-kill-goal-command
+	proof-commands-regexp (ids-to-regexp coq-keywords))
 
   (modify-syntax-entry ?\$ ".")
   (modify-syntax-entry ?\/ ".")
-- 
cgit v1.2.3