1 Requirements for instantaneous build from sources
2 =================================================
4 * Official Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_27
5 http://www.oracle.com/technetwork/java/javase/downloads/index.html
7 * Scala Compiler 2.8.1.final
8 http://www.scala-lang.org
10 * Auxiliary jedit_build component
11 http://www4.in.tum.de/~wenzelm/test/jedit_build-20110622.tar.gz
14 Important settings within Isabelle environment
15 ==============================================
19 - ISABELLE_JEDIT_BUILD_HOME (via "init_component .../jedit_build...")
25 isabelle jedit -l HOL Test.thy
28 -----------------------------------------------------------------------
29 To run jedit with remote debugging enabled, I use the following
31 -agentlib:jdwp=transport=dt_socket,suspend=y,server=y,address=XXXX
34 where XXXX is any open port number you wish. The above invocation
35 works for Sun's JDK 5.0. There's an alternate incantation for earlier
37 http://java.sun.com/j2se/1.5.0/docs/guide/jpda/conninv.html)
38 -----------------------------------------------------------------------