[isabelle-dev] jEdit --- The New Emacs
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