From e121b1de13ed893a37a73c852e4e9de933eef32a Mon Sep 17 00:00:00 2001
From: msozeau
Date: Tue, 10 Jun 2008 18:28:26 +0000
Subject: - Correct handling of DependentMorphism error, using tclFAIL instead
 of   letting the exception go uncatched. - Reorder definitions in Morphisms,
 move the PER on (R ==> R') in   Morphisms where it can be declared properly.
 Add an instance for   Equivalence => Per. - Change bug#1604 test file to the
 new semantics of [setoid_rewrite at] - More unicode characters parsed by
 coqdoc.

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

(limited to 'tools')

diff --git a/tools/coqdoc/pretty.mll b/tools/coqdoc/pretty.mll
index a9ad92f4c7..d5d8702bcc 100644
--- a/tools/coqdoc/pretty.mll
+++ b/tools/coqdoc/pretty.mll
@@ -170,11 +170,14 @@ let firstchar =
   ['A'-'Z' 'a'-'z' '_' 
   (* iso 8859-1 accents *) 
   '\192'-'\214' '\216'-'\246' '\248'-'\255' ] |
+  '\194' '\185' |
   (* utf-8 latin 1 supplement *) 
   '\195' ['\128'-'\191'] |
   (* utf-8 letterlike symbols *) 
   '\206' ['\177'-'\183'] |
-  '\226' ('\132' ['\128'-'\191'] | '\133' ['\128'-'\143'])
+  '\226' ('\130' [ '\128'-'\137' ] (* subscripts *)
+    | '\129' [ '\176'-'\187' ] (* superscripts *)
+    | '\132' ['\128'-'\191'] | '\133' ['\128'-'\143'])
 let identchar = 
   firstchar | ['\'' '0'-'9' '@' ]
 let id = firstchar identchar*
-- 
cgit v1.2.3