Re: [isabelle] xsymbols problem on linux gentoo

Am 04.01.2012 11:39, schrieb Thomas Genet:
> Dear all,
> we start a course on Isabelle here in Rennes but we have font problems
> on the desktop computer we use for practical courses.
> We use gentoo linux distrib on classroom's computers and its emacs
> installation does not seem to behave well with Xsymbols. When the
> Xsymbols mode is activated, depending on the font selected, logic
> symbols are either partially or badly displayed.
> For instance, no difference is made between symbols for "==>" and "=>"
> (or "-->" and "->") which is quite embarassing.
> Do anybody have an idea on how to fix this?
> Thanks in advance,
> Thomas

Hi Thomas,

this might be the very same problem that occurred to me on Gentoo: You
need to patch emacs (I don't know whether this is a bug in PG or in
Emacs). Please see

- René

René Neumann

Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
85748 Garching b. München

Tel: +49-89-289-17232
Office: MI 03.11.055

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.