renamed proof-commands-regexp to proof-indent-commands-regexp, which

  is less confusing);

1 files changed, 1 insertions, 1 deletions

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)