Requirements for instantaneous build from sources
=================================================
* Official Java JDK 1.6 from Sun/Oracle/Apple
http://www.oracle.com/technetwork/java/javase/downloads/index.html
(experimental support for JDK/OpenJDK 1.7, but not OpenJDK 1.6)
* Scala 2.9.2
http://www.scala-lang.org
(experimental support for Scala 2.10.x milestones)
* Auxiliary jedit_build component
http://www4.in.tum.de/~wenzelm/test/jedit_build-20120414.tar.gz
Important settings within Isabelle environment
==============================================
* init_component ".../jedit_build-20120414"
* ISABELLE_JDK_HOME
* SCALA_HOME
Note that the official directory layout of JDK and Scala is required!
Build and run
=============
isabelle jedit -l HOL Test.thy