author wenzelm
Sat, 22 Oct 2011 19:22:13 +0200
changeset 45245 7f6c85421fa9
parent 45150 cf6a5de94bfc
child 45691 d1e716cc3b84
permissions -rw-r--r--
experimental support for Scala;

Requirements for instantaneous build from sources

* Official Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_27

* Scala (experimental support for

* Auxiliary jedit_build component

Important settings within Isabelle environment

- ISABELLE_JEDIT_BUILD_HOME (via "init_component .../jedit_build...")

Build and run

isabelle jedit -l HOL Test.thy

To run jedit with remote debugging enabled, I use the following
command: "java
-jar jedit.jar"

where XXXX is any open port number you wish. The above invocation
works for Sun's JDK 5.0.  There's an alternate incantation for earlier
releases. (See