[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Emacs and jEdit

From: Clément Pit--Claudel
Subject: Re: Emacs and jEdit
Date: Tue, 19 Jul 2016 21:42:23 -0400
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0

On 2016-07-19 04:33, Andreas Röhler wrote:
>> In any case, I don't think I see anything in these screenshots suggesting 
>> difficulties (but I could be wrong).
> What about the plain text wrongly fontified as keywords?

Sorry, I don't get it. Is there a reason to expect SML-mode to highlight 
Isabelle code properly?

Attachment: signature.asc
Description: OpenPGP digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]