diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-15 20:00:21 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2015-10-15 20:00:21 +0200 |
| commit | a0f0b06e6fdcaa8c4807879e3df5990d063ab6ac (patch) | |
| tree | b2debb6c62c73498269e588a0c1d170bc32d9b71 /coq/coq-syntax.el | |
| parent | dbcdba63a79bfcafbc8873b787f18aa049198eaf (diff) | |
Fixed the regexp for colorizing hyps in the goal.
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
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. |