--- a/src/Tools/jEdit/README_BUILD Wed Nov 30 11:36:46 2011 +0100
+++ b/src/Tools/jEdit/README_BUILD Wed Nov 30 12:09:29 2011 +0100
@@ -1,14 +1,14 @@
Requirements for instantaneous build from sources
=================================================
-* Official Java JDK from Sun/Oracle/Apple, e.g. 1.6.0_27
+* Official Java JDK 1.6 from Sun/Oracle/Apple, e.g. 1.6.0_29
http://www.oracle.com/technetwork/java/javase/downloads/index.html
* Scala 2.8.2.final (experimental support for 2.9.1.final)
http://www.scala-lang.org
* Auxiliary jedit_build component
- http://www4.in.tum.de/~wenzelm/test/jedit_build-20110622.tar.gz
+ http://www4.in.tum.de/~wenzelm/test/jedit_build-20111015.tar.gz
Important settings within Isabelle environment