Re: Emacs and jEdit

[Kaushal Modi]

Hi Andreas,

I didn't quite follow that email. 

What is Isabelle/HOL? Do the screenshots illustrate that jEdit can render Isabelle files fine, but emacs does not?

Is this a request for a new major mode in emacs to support Isabelle?

Or was this supported earlier and is now broken?

On Mon, Jul 18, 2016, 6:17 AM Andreas Röhler <address@hidden> wrote:

Hi all,

mentioned the switch of Isabelle/HOL from Emacs to jEdit.

Attach a showcase displaying a portion of source in Emacs and jEdit,
which should illustrate the matter.

sml.png refers to sml-mode.el from
Melpa.

I'll assume that the emacs screenshot is sml.png :) I do not see that file names in my email client, just the images directly. So the sml-mode was supposed to render the tags in that file properly?

--

Kaushal Modi