From 654813cfbde23c0855f1619d5894491dc1f7eec4 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 27 May 1999 19:24:05 +0000
Subject: renamed proof-commands-regexp to proof-indent-commands-regexp, which 
  is less confusing);

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

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index b25e2777..e1ef5054 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -443,7 +443,7 @@
 	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-commands-regexp (proof-ids-to-regexp coq-keywords))
+	proof-indent-commands-regexp (proof-ids-to-regexp coq-keywords))
 
   (coq-init-syntax-table)
 
-- 
cgit v1.2.3