From d5d17c7813526188ad4f94eb85a27ce9f20a4e5c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 6 Dec 2010 23:55:04 +0000
Subject: Fixed status of ÷ and × in coqdoc (they were seen as letter instead
 of symbol).

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

(limited to 'tools')

diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll
index 27e8f0b963..d11b12477d 100644
--- a/tools/coqdoc/cpretty.mll
+++ b/tools/coqdoc/cpretty.mll
@@ -269,7 +269,9 @@ let firstchar =
   (* superscript 1 *)
   '\194' '\185' |
   (* utf-8 latin 1 supplement *)
-  '\195' ['\128'-'\191'] |
+  '\195' ['\128'-'\150'] |
+  '\195' ['\152'-'\182'] |
+  '\195' ['\184'-'\191'] |
   (* utf-8 letterlike symbols *)
   (* '\206' ([ '\145' - '\183'] | '\187') | *)
   (* '\xCF' [ '\x00' - '\xCE' ] |  *)
-- 
cgit v1.2.3