From ae23ee0a825b7ff75d1ae5d460768838aae1ef21 Mon Sep 17 00:00:00 2001
From: Patrick Loiseleur
Date: Wed, 30 Jun 1999 07:19:51 +0000
Subject: keywords of coq 6.3

---
 coq/coq-syntax.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 083259bc..4a9723b0 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -29,6 +29,7 @@
 "Inductive\\s-+Prop"
 "Inductive\\s-+Type"
 "Mutual\\s-+Inductive"
+"Record"
 "Scheme"
 ))
 
@@ -72,10 +73,11 @@
 "Extraction"
 "Focus"
 "Grammar"
-"Hint"
 "Hints\\s-+Resolve"
 "Hints\\s-+Immediate"
 "Hints\\s-+Unfold"
+"HintRewrite"
+"Hint"
 "Infix"
 "Initialize"
 "Implicit\\s-+Arguments\\s-+On"
@@ -90,6 +92,7 @@
 "Print\\s-+Coercions"
 "Print\\s-+Graph"
 "Print\\s-+Grammar"
+"Print\\s-+HintDb"
 "Print\\s-+Hint"
 "Print\\s-+LoadPath"
 "Print\\s-+ML\\s-+Path"
-- 
cgit v1.2.3