[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Emacs and jEdit
From: |
Andreas Röhler |
Subject: |
Emacs and jEdit |
Date: |
Mon, 18 Jul 2016 12:22:43 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Icedove/45.1.0 |
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.
Cheers,
Andreas
jedit.png
Description: PNG image
sml.png
Description: PNG image
- Emacs and jEdit,
Andreas Röhler <=
- 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