From b9e27721e88872a93ec7ca91575304ce1496a0ef Mon Sep 17 00:00:00 2001
From: msozeau
Date: Fri, 16 Feb 2007 19:17:27 +0000
Subject: Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in
 subtac Utils.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9656 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/output.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index 4bd8973215..45017db8dd 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -51,7 +51,7 @@ let is_keyword =
       "in"; "invariant"; "let"; "of"; "ref"; "state"; "then"; "variant";
       "while"; i*)
       (*i (* coq terms *) *)
-	"match"; "in"; "return"; "with"; "end"; "let"; "dest"; "fun"; "if"; "then"; "else"; "Prop"; "Set"; "Type"; ":="
+	"match"; "as"; "in"; "return"; "with"; "end"; "let"; "dest"; "fun"; "if"; "then"; "else"; "Prop"; "Set"; "Type"; ":="
        ]
 
 (*s Current Coq module *)
-- 
cgit v1.2.3