Requirements for instantaneous build from sources
=================================================
* Proper Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_24 or 1.6.0_25
http://java.sun.com/javase/downloads/index.jsp
* Scala Compiler 2.8.1.final
http://www.scala-lang.org
* Auxiliary jedit_build component
http://www4.in.tum.de/~wenzelm/test/jedit_build-20110521.tar.gz
Important settings within Isabelle environment
==============================================
- JAVA_HOME
- SCALA_HOME
- 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
-agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX
-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
http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html)
-----------------------------------------------------------------------