[Top][All Lists]

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

Re: Emacs and jEdit

From: Kaushal Modi
Subject: Re: Emacs and jEdit
Date: Mon, 18 Jul 2016 12:11:05 +0000

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

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

reply via email to

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