[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?
signature.asc
Description: OpenPGP digital signature
- Re: Emacs and jEdit, (continued)
- Re: Emacs and jEdit, Kaushal Modi, 2016/07/18
- Re: Emacs and jEdit, Andreas Röhler, 2016/07/18
- Re: Emacs and jEdit, Richard Stallman, 2016/07/19
- Re: Emacs and jEdit, Clément Pit--Claudel, 2016/07/19
- Re: Emacs and jEdit, Andreas Röhler, 2016/07/19
- Re: Emacs and jEdit, Clément Pit--Claudel, 2016/07/19
- Re: Emacs and jEdit, Andreas Röhler, 2016/07/19
- Re: Emacs and jEdit,
Clément Pit--Claudel <=
- Re: Emacs and jEdit, Stefan Monnier, 2016/07/19
- Re: Emacs and jEdit, Richard Stallman, 2016/07/19