# HG changeset patch
# User wenzelm
# Date 1279468564 -7200
# Node ID 425dd7d97e41fddee5e6c026bb73bcfa5cd92d05
# Parent  6f8b1bb4d248b48aa7a2bd8ca785572d2933e228
minor update of dependencies;

diff -r 6f8b1bb4d248 -r 425dd7d97e41 src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Fri Jul 16 15:28:23 2010 +0200
+++ b/src/Tools/jEdit/README_BUILD	Sun Jul 18 17:56:04 2010 +0200
@@ -2,7 +2,7 @@
 Requirements to build from sources
 ==================================
 
-* Proper Java JRE/JDK from Sun, e.g. 1.6.0_20
+* Proper Java JRE/JDK from Sun, e.g. 1.6.0_21
   http://java.sun.com/javase/downloads/index.jsp
 
 * Netbeans 6.8
@@ -31,7 +31,7 @@
 * Isabelle/Pure Scala components
   Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
 
-* Scala Compiler 2.8
+* Scala Compiler 2.8.0.final
   http://www.scala-lang.org
   Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar