From 6a504a85265065b13c36cc56a807551044990b7c Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 26 Mar 2015 18:41:19 +0000 Subject: Colorizing hyps names robustified. Still incomplete. --- coq/coq-syntax.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'coq/coq-syntax.el') diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index c91ad2d9..99ee351b 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1078,7 +1078,7 @@ It is used: (cons (proof-regexp-alt-list-symb (list "In environment" "The term" "has type")) 'proof-error-face) (cons (proof-regexp-alt-list-symb (list "Set" "Type" "Prop")) 'font-lock-type-face) ;; ", " is for multiple hypothesis diplayed in v8.5. - (cons "^ \\([^\n :(),]\\|, \\)+ *:" 'proof-declaration-name-face) + (cons "^ \\{0,2\\}\\([^\n :(),]\\|, \\)+ *:" 'proof-declaration-name-face) (list "^\\([^ \n]+\\) \\(is defined\\)" (list 1 'font-lock-function-name-face t))))) @@ -1086,7 +1086,7 @@ It is used: (append coq-font-lock-terms (list - (cons "^ *\\([^ \n:()=]\\|, \\)+ *:" 'proof-declaration-name-face) + (cons "^ \\{0,2\\}\\([^ \n:()=]\\|, \\)+ *:" 'proof-declaration-name-face) (cons (proof-regexp-alt-list-symb (list "Set" "Type" "Prop")) 'font-lock-type-face)))) -- cgit v1.2.3