# HG changeset patch
# User haftmann
# Date 1279534650 -7200
# Node ID 1fd0ac61920ccb7c039d1faaf63ca36feec6244b
# Parent  096c8397c989081be4b780edb71cba6620a8c765# Parent  425dd7d97e41fddee5e6c026bb73bcfa5cd92d05
merged

diff -r 096c8397c989 -r 1fd0ac61920c src/Tools/jEdit/README_BUILD
--- a/src/Tools/jEdit/README_BUILD	Mon Jul 19 11:55:44 2010 +0200
+++ b/src/Tools/jEdit/README_BUILD	Mon Jul 19 12:17:30 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