minor update of dependencies;
authorwenzelm
Sun Jul 18 17:56:04 2010 +0200 (2010-07-18)
changeset 37847425dd7d97e41
parent 37846 6f8b1bb4d248
child 37848 a33ecf47f0a0
child 37882 1fd0ac61920c
minor update of dependencies;
src/Tools/jEdit/README_BUILD
     1.1 --- a/src/Tools/jEdit/README_BUILD	Fri Jul 16 15:28:23 2010 +0200
     1.2 +++ b/src/Tools/jEdit/README_BUILD	Sun Jul 18 17:56:04 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