[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?
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?
--
- Emacs and jEdit, Andreas Röhler, 2016/07/18
- Re: Emacs and jEdit,
Kaushal Modi <=
- 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, 2016/07/19