The Coq mailing list

[Pierre Letouzey <Pierre.Letouzey AT pps.jussieu.fr>]

> On Oct 7, 2010, at 3:32 AM, Benoît Montagu wrote:
> 
> > Dear all,
> > 
> > With emacs 23 you get support for freetype fonts. I am quite satisfied
> > by using the Inconsolata font, which has nice unicode glyphs. But it
> > remains the limitations of coqdoc and of extraction with respect to
> > unicode...
> > 

Concerning extraction, I suppose you refer to the lack of unicode name
support in Ocaml ? Well, I recently enabled a translation from unicode
names to ascii ones. Produced names are ugly, but at least there're
accepted by Ocaml. More details here:

http://www.lix.polytechnique.fr/coq/bugs/show_bug.cgi?id=2179

Best,

Pierre Letouzey