Re: [isabelle] Two problems about emacs and jedit



Hi,
> Message: 3
> Date: Tue, 16 Apr 2013 09:55:58 +1000
> From: David Greenaway 
> Subject: Re: [isabelle] Two problems about emacs and jedit
> To: 
> Message-ID: 
> Content-Type: text/plain; charset="UTF-8"
> 
> 
> On 12/04/13 17:50, jiangdc wrote:
> > I installed Isabelle2013 with emacs23 on Ubuntu 12.04. When I type =>
> > or \, it converts to a symbol, which looks like a very
> > tiny "=", but not looks like a normal rightarrow.
> 
> Try installing the "fonts-stix" package as so:
> 
>     sudo apt-get install fonts-stix
> 
> and restart emacs. This should hopefully solve the problem.

I tried this, but it does not work.

> 
> Cheers,
> David
> 

Regards,
Dongchen





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