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