diff options
| author | Cyril Anaclet | 2020-05-18 13:33:57 +0200 |
|---|---|---|
| committer | Anaclet | 2020-05-29 11:05:58 +0200 |
| commit | 04aff704f3d13452bc5c52ff860c5ab564539632 (patch) | |
| tree | b20a0c1ddd1b1ade477dab74a22491f1c313e8a8 /coq | |
| parent | aba3f2bfe2bffde6d2df21b098740100459a84be (diff) | |
WIP for #487
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index a27274c5..3ae7fbca 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1305,8 +1305,7 @@ It is used: (defconst coq-show-proof-diffs-regexp - ;; FIXME/TODO: enhance this regexp - "Show Proof\\(\\.\\| Diffs\\.\\| Diffs removed\\.\\)") + "^[ ]*Show Proof\\( Diffs\\| Diffs removed\\)?\\.$") (defconst coq-save-command-regexp ;; FIXME: The surrounding grouping parens are probably not needed. |