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.

Larry Paulson


On 17 Apr 2013, at 10:44, jiangdc <jiangdc at nlsde.buaa.edu.cn> wrote:

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