From 986fefde8e2f5b942f9715b4e423c6a350497004 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 8 Dec 2019 01:32:28 +0100
Subject: fix: Recognize "Timeout" before save keywords

viz. '("Defined" "Save" "Qed" "End" "Admitted" "Abort" "Proof")
---
 coq/coq-syntax.el | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index b5cd1ec2..93db1a77 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -1070,7 +1070,7 @@ It is used:
 ;; It is understood here as being a goal.  This is important for
 ;; recognizing global identifiers, see coq-global-p.
 (defconst coq-save-command-regexp-strict
-  (concat "\\`\\(?:Time\\s-+\\)?\\("
+  (concat "\\`\\(?:Time\\s-+\\|Timeout\\s-+[[:digit:]]+\\s-+\\)*\\("
           "\\_<"
 	  (regexp-opt coq-keywords-save-strict)
 	  "\\_>"
@@ -1293,12 +1293,13 @@ It is used:
 
 (defconst coq-save-command-regexp
   ;; FIXME: The surrounding grouping parens are probably not needed.
-  (concat "\\`\\(\\(?:Time\\s-+\\)?\\_<"
+  (concat "\\`\\(\\(?:Time\\s-+\\|Timeout\\s-+[[:digit:]]+\\s-+\\)*\\_<"
            (regexp-opt coq-keywords-save t)
            "\\_>\\)"))
 
 (defconst coq-save-with-hole-regexp
-  (concat "\\(?:Time\\s-+\\)?\\(" (regexp-opt coq-keywords-save-strict)
+  (concat "\\(?:Time\\s-+\\|Timeout\\s-+[[:digit:]]+\\s-+\\)*\\("
+          (regexp-opt coq-keywords-save-strict)
 	  "\\)\\s-+\\(" coq-id "\\)\\s-*\\."))
 
 (defconst coq-goal-command-regexp
-- 
cgit v1.2.3