The Coq mailing list

[Beno�t Montagu <Benoit.Montagu AT inria.fr>]

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

Attachment: signature.asc
Description: OpenPGP digital signature