diff options
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. |