Re: [isabelle] Two problems about emacs and jedit
> Message: 3
> Date: Tue, 16 Apr 2013 09:55:58 +1000
> From: David Greenaway
> Subject: Re: [isabelle] Two problems about emacs and jedit
> 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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and