[isabelle-dev] build and run Isabelle/jEdit on the spot

Makarius makarius at sketis.net
Sat May 21 00:55:28 CEST 2011

In Isabelle/4a26abd3d57b Isabelle/jEdit can be built and run on the spot
as follows:

   * Deactivate any existing jedit component setup in
     $ISABELLE_HOME_USER/etc/settings or
     $ISABELLE_HOME_USER/etc/components etc.

   * Make sure that SCALA_HOME within the Isabelle environment points to
     scala-2.8.1.final (Isabelle2011 ships that version as component
     which can be re-used here).

   * Download and unpack

     This contains all external jars required to build Isabelle/jEdit from
     source.  It needs to be initialized as component as usual, e.g. like
     this in "$ISABELLE_HOME_USER/etc/settings":

       init_component "$HOME/isabelle/jedit_build-20110521"

   * Run "isabelle jedit -l HOL Foo.thy" and wait ...

Now enjoy blue/green/brown variables and hyperlinks for most formal 
entities in the source text.

The principles behind that markup are explained in the paper 
http://www4.in.tum.de/~wenzelm/papers/isabelle-doc.pdf (among other 

The above configuration should allow to compile Isabelle/jEdit from 
repository versions in the coming months, until external dependencies 
change significantly and a new "jedit_build" component is required.


More information about the isabelle-dev mailing list