diff options
| author | Cyril Anaclet | 2020-05-14 15:29:58 +0200 |
|---|---|---|
| committer | Anaclet | 2020-05-29 11:05:58 +0200 |
| commit | ecb47478c9f9959ea25ce509076f6e3959d2c620 (patch) | |
| tree | 053e9fc0b9aa893ed677f6ebb6104c1811e61488 /coq/coq-syntax.el | |
| parent | 8e12eee54e36ca16d4b4530e1509479f22929e4f (diff) | |
All case for Show and regex variable
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 470331a6..e486997d 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1304,6 +1304,9 @@ It is used: "*Font-lock table for Coq terms.") +(defconst coq-show-diffs-regexp + "Show Proof\\(\\.\\| Diffs\\.\\| Diffs removed\\.\\)") + (defconst coq-save-command-regexp ;; FIXME: The surrounding grouping parens are probably not needed. (concat "\\`\\(\\(?:Time\\s-+\\|Timeout\\s-+[[:digit:]]+\\s-+\\)*\\_<" |