Requirements for instantaneous build from repository
====================================================

* Java JDK 1.7 from Oracle
  http://www.oracle.com/technetwork/java/javase/downloads/index.html

  (experimental support for JDK/OpenJDK 1.7)

* Scala 2.9.2
  http://www.scala-lang.org

  (experimental support for Scala 2.10.x milestones)

  Note that the official directory layout of JDK and Scala is required!

* Auxiliary jedit_build component according to Admin/components/main


Build and run
=============

isabelle jedit -l HOL Test.thy

