author wenzelm
Sat, 09 Jul 2011 21:53:27 +0200
changeset 43721 fad8634cee62
parent 43281 8d8b6ed0588c
child 44043 63c158415dbb
permissions -rw-r--r--
echo prover input via raw_messages, for improved protocol tracing;

Requirements for instantaneous build from sources

* Proper Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_24 or 1.6.0_25

* Scala Compiler

* Auxiliary jedit_build component

Important settings within Isabelle environment

- 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