diff options
| author | Patrick Loiseleur | 1999-06-21 13:27:38 +0000 |
|---|---|---|
| committer | Patrick Loiseleur | 1999-06-21 13:27:38 +0000 |
| commit | 3fc2a525da9970fbfaff05c6c1c7d9b44001011d (patch) | |
| tree | 036c1d07516850ed0dd560ad8cbfaf544d51a348 | |
| parent | 3a3c4b06cb2f684d5c514c59683a79d3426c5541 (diff) | |
Hints Resolve
| -rw-r--r-- | coq/coq-syntax.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index fbb1c9f4..083259bc 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -73,7 +73,9 @@ "Focus" "Grammar" "Hint" -"Hints" +"Hints\\s-+Resolve" +"Hints\\s-+Immediate" +"Hints\\s-+Unfold" "Infix" "Initialize" "Implicit\\s-+Arguments\\s-+On" @@ -241,7 +243,7 @@ (concat paren "\\s-*\\(" coq-ids "\\)\\s-*:")) (defun coq-next-abstr-regexp () - (concat ";\\s-*\\(" coq-ids "\\)\\s-*:")) + (concat ";[ \t]*\\(" coq-ids "\\)\\s-*:")) (defvar coq-font-lock-terms (list |