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
http://www4.in.tum.de/~wenzelm/test/jedit_build-20110521.tar.gz
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
things).
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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
