diff options
author | 1999-05-27 19:24:05 +0000 | |
---|---|---|
committer | 1999-05-27 19:24:05 +0000 | |
commit | 654813cfbde23c0855f1619d5894491dc1f7eec4 (patch) | |
tree | 5748b5fca5ab3dd49407b3012432d7426add9044 /coq | |
parent | b50aa5058c361ac72a293c70b4ee82e7cd608279 (diff) |
renamed proof-commands-regexp to proof-indent-commands-regexp, which
is less confusing);
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) |