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 http://proofgeneral.inf.ed.ac.uk/trac/ticket/409

- 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.