From 04aff704f3d13452bc5c52ff860c5ab564539632 Mon Sep 17 00:00:00 2001
From: Cyril Anaclet
Date: Mon, 18 May 2020 13:33:57 +0200
Subject: WIP for #487

---
 coq/coq-syntax.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'coq')

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.
-- 
cgit v1.2.3