diff options
| author | Erik Martin-Dorel | 2020-05-15 15:50:48 +0200 |
|---|---|---|
| committer | Anaclet | 2020-05-29 11:05:58 +0200 |
| commit | aba3f2bfe2bffde6d2df21b098740100459a84be (patch) | |
| tree | be6f6bef28652affcfed4425f8aacc9baf1ecd79 /coq/coq-syntax.el | |
| parent | ecb47478c9f9959ea25ce509076f6e3959d2c620 (diff) | |
Fix name clash & rephrase some strings
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index e486997d..a27274c5 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1304,7 +1304,8 @@ It is used: "*Font-lock table for Coq terms.") -(defconst coq-show-diffs-regexp +(defconst coq-show-proof-diffs-regexp + ;; FIXME/TODO: enhance this regexp "Show Proof\\(\\.\\| Diffs\\.\\| Diffs removed\\.\\)") (defconst coq-save-command-regexp |