From a0f0b06e6fdcaa8c4807879e3df5990d063ab6ac Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 15 Oct 2015 20:00:21 +0200 Subject: Fixed the regexp for colorizing hyps in the goal. --- coq/coq-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/coq-syntax.el') diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 7317eae6..80c7f3bb 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1084,7 +1084,7 @@ It is used: ;; 1 space this is a hypothesis displayed in the middle of a line (> v8.5) ;; "^ " is for goals in debug mode. (defvar coq-hyp-name-in-goal-or-response-regexp - "\\(^\\|^ \\|^ \\|[^^ ] ? \\)\\(\\(?:[^\n :(),=]\\|, \\|,$\\)+ *\\(?:: \\|,$\\)\\)" + "\\(^\\|^ \\|^ \\|[^^ ] ? \\)\\(\\(?:[^\n :(),=]\\|, \\)+ *\\(?::[ \n]\\|,$\\)\\)" "regexp matching hypothesis names in goal or response buffer") ;; We define a slightly different set of keywords for response buffer. -- cgit v1.2.3