[isabelle-dev] jEdit --- The New Emacs

Makarius makarius at sketis.net
Thu Aug 9 16:04:14 CEST 2007

Anybody interested in a decent text editor with the potential to supplant 
Emacs, Eclipse etc. might want to take a close look at 

The "j" in the name refers to the implementation platform: JVM.  In fact, 
the main installation challange is to find a JVM implementation that works 
properly.  On Linux, these are often outdated (e.g. Ubuntu) or broken 
(e.g. Debian), but JDK SE 1.6 directly from Sun appears to work.  The Java 
installation on my MacOS box also worked, even with native look-and-feel.

The editor can be extended by simple macros written in BeanShell 
(http://www.beanshell.org/) or fully-featured plugins written for JVM 
(Java, Jython etc.).

jEdit already includes many programming language modes, even one for ML. 
An Isabelle mode still needs to be done ..


More information about the isabelle-dev mailing list