[Top][All Lists]

[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.



Attachment: jedit.png
Description: PNG image

Attachment: sml.png
Description: PNG image

reply via email to

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