1.1 --- a/src/Tools/jEdit/README_BUILD	Mon Jul 19 11:55:44 2010 +0200
     1.2 +++ b/src/Tools/jEdit/README_BUILD	Mon Jul 19 12:17:30 2010 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  Requirements to build from sources
     1.5  ==================================
     1.6  
     1.7 -* Proper Java JRE/JDK from Sun, e.g. 1.6.0_20
     1.8 +* Proper Java JRE/JDK from Sun, e.g. 1.6.0_21
     1.9    http://java.sun.com/javase/downloads/index.jsp
    1.10  
    1.11  * Netbeans 6.8
    1.12 @@ -31,7 +31,7 @@
    1.13  * Isabelle/Pure Scala components
    1.14    Netbeans Library "Isabelle-Pure" = ~~/lib/classes/Pure.jar
    1.15  
    1.16 -* Scala Compiler 2.8
    1.17 +* Scala Compiler 2.8.0.final
    1.18    http://www.scala-lang.org
    1.19    Netbeans Library "Scala-compiler" = $SCALA_HOME/lib/scala-compiler.jar
    1.20