explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions;
tuned;
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
(or JDK/OpenJDK 1.7, but not OpenJDK 1.6)
* Scala 2.8.2.final or 2.9.1-1
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-20120327.tar.gz
Important settings within Isabelle environment
==============================================
* init_component ".../jedit_build-20120327"
* 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