From a66d6e8e6d52d156d52e6282b879347c8922a4e8 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Wed, 17 Sep 2014 16:28:50 +0200
Subject: Fix highlighting of "Hint Unfold" and "Hint Rewrite".

---
 ide/coq.lang | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ide/coq.lang b/ide/coq.lang
index d791eadc71..7679f863d9 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -174,10 +174,11 @@
 	  <keyword>Resolve</keyword>
 	  <keyword>Immediate</keyword>
 	  <keyword>Constructors</keyword>
-	  <keyword>unfold</keyword>
+	  <keyword>Unfold</keyword>
 	  <keyword>Opaque</keyword>
 	  <keyword>Transparent</keyword>
 	  <keyword>Extern</keyword>
+	  <keyword>Rewrite</keyword>
 	</context>
 	<context id="scope-command" style-ref="vernac-keyword">
 	  <suffix>\%{space}+Scope</suffix>
-- 
cgit v1.2.3