[isabelle-dev] build and run Isabelle/jEdit on the spot
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
* Deactivate any existing jedit component setup in
* 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":
* 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