From aff2ab6c9ae4d1705903717840c0ba83c80fe3c5 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Wed, 30 Jan 2008 04:10:19 +0000
Subject: Add some keyword

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10480 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/output.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'tools')

diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index 647cc5da3f..3e171a2c5e 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -31,9 +31,9 @@ let build_table l =
 
 let is_keyword = 
   build_table
-    [ "AddPath"; "Axiom"; "Chapter"; "CoFixpoint";
-      "CoInductive"; "Defined"; "Definition"; 
-      "End"; "Export"; "Fact"; "Fix"; "Fixpoint"; "Global"; "Grammar"; "Goal"; "Hint";
+    [ "AddPath"; "Axiom"; "Chapter"; "Check"; "CoFixpoint";
+      "CoInductive"; "Defined"; "Definition"; "End"; "Eval"; "Example"; 
+      "Export"; "Fact"; "Fix"; "Fixpoint"; "Global"; "Grammar"; "Goal"; "Hint";
       "Hypothesis"; "Hypotheses"; 
       "Immediate"; "Implicit"; "Import"; "Inductive"; 
       "Infix"; "Lemma"; "Let"; "Load"; "Local"; "Ltac"; 
@@ -48,7 +48,7 @@ let is_keyword =
       "Arguments";
       "Instance"; "Class"; "where"; "Instantiation";
       (* Program *)
-      "Program Definition"; "Program Fixpoint"; "Program Lemma";
+      "Program Definition"; "Program Example"; "Program Fixpoint"; "Program Lemma";
       "Obligation"; "Obligations"; "Solve"; "using"; "Next Obligation"; "Next";
       "Program Instance";
       (*i (* correctness *)
-- 
cgit v1.2.3