diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coqdoc/coqdoc.sty | 2 | ||||
| -rw-r--r-- | tools/coqdoc/cpretty.mll | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/tools/coqdoc/coqdoc.sty b/tools/coqdoc/coqdoc.sty index ba1173bee2..b50b755f61 100644 --- a/tools/coqdoc/coqdoc.sty +++ b/tools/coqdoc/coqdoc.sty @@ -110,7 +110,7 @@ \newcommand{\coqref}[2]{#2} \newcommand{\texorpdfstring}[2]{#1} \newcommand{\identref}[2]{\textsf{#2}} - \newcommand{\coqlibrary}[2]{\cleardoublepage\chapter{#1\coqdoccst{#2}}} + \newcommand{\coqlibrary}[3]{\cleardoublepage\chapter{#2\coqdoccst{#3}}} \fi \usepackage{xr} diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll index d92b34e25e..2820b9a88f 100644 --- a/tools/coqdoc/cpretty.mll +++ b/tools/coqdoc/cpretty.mll @@ -256,6 +256,9 @@ let firstchar = '\194' '\185' | (* utf-8 latin 1 supplement *) '\195' ['\128'-'\191'] | + (* utf-8 letterlike symbols *) + (* '\206' ([ '\145' - '\183'] | '\187') | *) + (* '\xCF' [ '\x00' - '\xCE' ] | *) (* utf-8 letterlike symbols *) '\206' ('\160' | [ '\177'-'\183'] | '\187') | '\226' ('\130' [ '\128'-'\137' ] (* subscripts *) |