back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
authorwenzelm
Wed Apr 25 14:24:27 2012 +0200 (2012-04-25 ago)
changeset 47745de249b5ae6e2
parent 47744 af81dc62a281
child 47746 ec3da8df4c39
child 47748 24550210de0b
back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
Admin/java/README
Admin/java/etc/settings
Admin/launch4j/isabelle.xml
README
src/HOL/Tools/Nitpick/nitpick.ML
src/Tools/jEdit/README_BUILD
     1.1 --- a/Admin/java/README	Wed Apr 25 14:19:53 2012 +0200
     1.2 +++ b/Admin/java/README	Wed Apr 25 14:24:27 2012 +0200
     1.3 @@ -1,3 +1,3 @@
     1.4 -This is JDK 1.7.0_03 for Linux from
     1.5 +This is JDK 1.6.0_31 for Linux from
     1.6  http://www.oracle.com/technetwork/java/javase/downloads/index.html
     1.7  
     2.1 --- a/Admin/java/etc/settings	Wed Apr 25 14:19:53 2012 +0200
     2.2 +++ b/Admin/java/etc/settings	Wed Apr 25 14:24:27 2012 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4  # -*- shell-script -*- :mode=shellscript:
     2.5  
     2.6 -ISABELLE_JDK_HOME="$COMPONENT/jdk1.7.0_03"
     2.7 +ISABELLE_JDK_HOME="$COMPONENT/jdk1.6.0_31"
     2.8  
     3.1 --- a/Admin/launch4j/isabelle.xml	Wed Apr 25 14:19:53 2012 +0200
     3.2 +++ b/Admin/launch4j/isabelle.xml	Wed Apr 25 14:24:27 2012 +0200
     3.3 @@ -20,7 +20,7 @@
     3.4      <cp>lib\classes\ext\scala-swing.jar</cp>
     3.5    </classPath>
     3.6    <jre>
     3.7 -    <path>contrib\jdk-7u3_x86-cygwin\jdk1.7.0_03</path>
     3.8 +    <path>contrib\jdk-6u31_x86-cygwin\jdk1.6.0_31</path>
     3.9      <minVersion></minVersion>
    3.10      <maxVersion></maxVersion>
    3.11      <jdkPreference>jdkOnly</jdkPreference>
     4.1 --- a/README	Wed Apr 25 14:19:53 2012 +0200
     4.2 +++ b/README	Wed Apr 25 14:24:27 2012 +0200
     4.3 @@ -16,7 +16,7 @@
     4.4       * The Poly/ML compiler and runtime system (version 5.2.1 or later).
     4.5       * The GNU bash shell (version 3.x or 2.x).
     4.6       * Perl (version 5.x).
     4.7 -     * Java 1.6.x or 1.7.x from Oracle or Apple -- for Scala and jEdit.
     4.8 +     * Java 1.6.x from Oracle or Apple -- for Scala and jEdit.
     4.9       * GNU Emacs (version 23 or 24) -- for the Proof General 4.x interface.
    4.10       * A complete LaTeX installation -- for document preparation.
    4.11  
     5.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Wed Apr 25 14:19:53 2012 +0200
     5.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Wed Apr 25 14:24:27 2012 +0200
     5.3 @@ -180,7 +180,7 @@
     5.4                 (length ts downto 1) ts))]
     5.5  
     5.6  fun install_java_message () =
     5.7 -  "Nitpick requires Java Development Kit 1.6/1.7 via ISABELLE_JDK_HOME setting."
     5.8 +  "Nitpick requires Java Development Kit 1.6 via ISABELLE_JDK_HOME setting."
     5.9  fun install_kodkodi_message () =
    5.10    "Nitpick requires the external Java program Kodkodi. To install it, download \
    5.11    \the package from \"http://www21.in.tum.de/~blanchet/#software\" and add the \
     6.1 --- a/src/Tools/jEdit/README_BUILD	Wed Apr 25 14:19:53 2012 +0200
     6.2 +++ b/src/Tools/jEdit/README_BUILD	Wed Apr 25 14:24:27 2012 +0200
     6.3 @@ -1,10 +1,10 @@
     6.4  Requirements for instantaneous build from sources
     6.5  =================================================
     6.6  
     6.7 -* Official Java JDK 1.6/1.7 from Sun/Oracle/Apple
     6.8 +* Official Java JDK 1.6 from Sun/Oracle/Apple
     6.9    http://www.oracle.com/technetwork/java/javase/downloads/index.html
    6.10  
    6.11 -  (or OpenJDK 1.7, but not OpenJDK 1.6)
    6.12 +  (experimental support for JDK/OpenJDK 1.7, but not OpenJDK 1.6)
    6.13  
    6.14  * Scala 2.9.2 (or 2.8.2.final)
    6.15    http://www.scala-lang.org