From d1a73c9a47d554c3cf687f2ed10ace5671d1e6c1 Mon Sep 17 00:00:00 2001
From: thery <thery@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 6 Mar 2010 00:35:26 +0000
Subject: Adding Function as keyword for coqdoc

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

diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll
index 64cd5ff55..071b3d555 100644
--- a/tools/coqdoc/cpretty.mll
+++ b/tools/coqdoc/cpretty.mll
@@ -329,6 +329,7 @@ let def_token =
   | "Example"
   | "Local"
   | "Fixpoint"
+  | "Function"
   | "Boxed"
   | "CoFixpoint"
   | "Record"
-- 
cgit v1.2.3