From 63ba9ddbfdad709d9cc0e800f10a87dfa8df7968 Mon Sep 17 00:00:00 2001
From: Iron-E <code.iron.e@gmail.com>
Date: Sun, 6 Dec 2020 22:16:24 -0500
Subject: [PATCH] feat(colors): add coq proof highlight

---
 colors/highlite.vim | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/colors/highlite.vim b/colors/highlite.vim
index 2ec5a02..f505906 100644
--- a/colors/highlite.vim
+++ b/colors/highlite.vim
@@ -680,8 +680,12 @@ local highlight_groups = {
 	coqIndConstructor = 'Delimiter',
 	coqIndTerm = 'Type',
 	coqKwd = 'Keyword',
-	coqKwdParen = 'Function',
-	coqRequire  = 'Include',
+	coqKwdParen   = 'Function',
+	coqProofDelim = 'coqVernacCmd',
+	coqProofDot   = 'coqTermPunctuation',
+	coqProofPunctuation = 'coqTermPunctuation',
+	coqRequire = 'Include',
+	coqTactic  = 'Operator',
 	coqTermPunctuation = 'Delimiter',
 	coqVernacCmd = 'Statement',
 	coqVernacPunctuation = 'coqTermPunctuation',