diff options
| -rw-r--r-- | coq/coq-syntax.el | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index cf72ecac..0c871c3b 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -813,11 +813,15 @@ Used by `coq-goal-command-p'" ;; 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 - (proof-anchor-regexp (proof-ids-to-regexp coq-keywords-save-strict))) + (proof-anchor-regexp + (concat "\\(Time\\s-+\\|\\)\\(" (proof-ids-to-regexp coq-keywords-save-strict) + "\\)"))) (defconst coq-save-command-regexp - (proof-anchor-regexp (proof-ids-to-regexp coq-keywords-save))) + (proof-anchor-regexp + (concat "\\(Time\\s-+\\|\\)\\(" (proof-ids-to-regexp coq-keywords-save) + "\\)"))) (defconst coq-save-with-hole-regexp - (concat "\\(" (proof-ids-to-regexp coq-keywords-save-strict) + (concat "\\(Time\\s-+\\|\\)\\(" (proof-ids-to-regexp coq-keywords-save-strict) "\\)\\s-+\\(" coq-id "\\)\\s-*\\.")) (defconst coq-goal-command-regexp |