author wenzelm
Wed, 15 Apr 2009 11:14:48 +0200
changeset 30895 bad26d8f0adf
parent 27997 64957539cdf4
permissions -rw-r--r--
updated for Isabelle2009;

Isabelle support for jEdit --

This provides both a basic editing "mode" (with some degree of syntax
highlighting), and a minimal "plugin" with some support for
interaction with the Isabelle process.

Mode installation

1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.xml to

2) Add the following entry [JEDIT_SETTINGS]/modes/catalog

  <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>

Example catalog file:

  <?xml version="1.0"?>
  <!DOCTYPE MODES SYSTEM "catalog.dtd">
    <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>

Plugin installation

1) Install copies of the Isabelle jars:

  [ISABELLE_HOME]/lib/classes/Pure.jar   ->  [JEDIT_SETTINGS]/jars/isabelle-Pure.jar
  [ISABELLE_HOME]/lib/jedit/isabelle.jar ->  [JEDIT_SETTINGS]/jars/isabelle.jar

2) Install scala-library.jar from the regular Scala distribution,
cf. the as


3) Enable the plugin using the manager of jEdit; invoke the "isabelle"
editor action.  The resulting window may be docked, e.g. at bottom.

Note that the Errorlist plugin provides some useful options like "Show
error icons in the gutter", for immediate feedback of Isabelle
warnings and errors in the source text.  The Errorlist window may be
docked likewise.