updated Scala/JVM versions;
authorwenzelm
Sat Apr 14 11:46:35 2012 +0200 (2012-04-14)
changeset 4746070fd47ca62e3
parent 47459 373e456149cc
child 47461 5a7903ba2dac
updated Scala/JVM versions;
Admin/isatest/isatest-makedist
src/Tools/jEdit/README_BUILD
     1.1 --- a/Admin/isatest/isatest-makedist	Fri Apr 13 21:17:59 2012 +0200
     1.2 +++ b/Admin/isatest/isatest-makedist	Sat Apr 14 11:46:35 2012 +0200
     1.3 @@ -59,7 +59,7 @@
     1.4  
     1.5  echo "### building distribution"  >> $DISTLOG 2>&1
     1.6  mkdir -p $DISTPREFIX
     1.7 -$MAKEDIST -j "/home/isabelle/contrib_devel/jedit_build-20120313" >> $DISTLOG 2>&1
     1.8 +$MAKEDIST -j "/home/isabelle/contrib_devel/jedit_build-20120327" >> $DISTLOG 2>&1
     1.9  
    1.10  if [ $? -ne 0 ]
    1.11  then
     2.1 --- a/src/Tools/jEdit/README_BUILD	Fri Apr 13 21:17:59 2012 +0200
     2.2 +++ b/src/Tools/jEdit/README_BUILD	Sat Apr 14 11:46:35 2012 +0200
     2.3 @@ -1,12 +1,12 @@
     2.4  Requirements for instantaneous build from sources
     2.5  =================================================
     2.6  
     2.7 -* Official Java JDK 1.6 from Sun/Oracle/Apple
     2.8 +* Official Java JDK 1.6/1.7 from Sun/Oracle/Apple
     2.9    http://www.oracle.com/technetwork/java/javase/downloads/index.html
    2.10  
    2.11 -  (or JDK/OpenJDK 1.7, but not OpenJDK 1.6)
    2.12 +  (or OpenJDK 1.7, but not OpenJDK 1.6)
    2.13  
    2.14 -* Scala 2.8.2.final or 2.9.2
    2.15 +* Scala 2.9.2 (or 2.8.2.final)
    2.16    http://www.scala-lang.org
    2.17  
    2.18    (experimental support for Scala 2.10.x milestones)