# HG changeset patch
# User wenzelm
# Date 1324135336 -3600
# Node ID 3d0416135efb883a5669ee3740bdc06e91b25379
# Parent  760895d5a600b4fad9de59dbf13d55239db50661
updated version information;

diff -r 760895d5a600 -r 3d0416135efb src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Sat Dec 17 16:21:22 2011 +0100
+++ b/src/Tools/jEdit/README_BUILD	Sat Dec 17 16:22:16 2011 +0100
@@ -1,14 +1,14 @@
 Requirements for instantaneous build from sources
 =================================================
 
-* Official Java JDK 1.6 from Sun/Oracle/Apple, e.g. 1.6.0_29
+* Official Java JDK 1.6/1.7 from Sun/Oracle/Apple
   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-20111015.tar.gz
+  http://www4.in.tum.de/~wenzelm/test/jedit_build-20111217.tar.gz
 
 
 Important settings within Isabelle environment