The Coq mailing list

["Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>]

Thanks, Benoit -- I'll give that a try!

  - Benjamin


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...
> 
> (a simple way to set your font in emacs is to put the following lines
> in your .Xresources:
> Emacs.font:           Inconsolata-12
> Emacs.fontBackend:    xft
> )
> 
> Hope this helps.
> 
> -- Benoît
> 
>