Re: [isabelle] Two problems about emacs and jedit
This is a known bug involving Emacs 23.3: http://proofgeneral.inf.ed.ac.uk/trac/ticket/409
It is necessary to use another Emacs version.
On 17 Apr 2013, at 10:44, jiangdc <jiangdc at nlsde.buaa.edu.cn> wrote:
>> 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