changeset 47113 | b5a5662528fb |
parent 40790 | cd7b17ba502b |
child 47440 | 22086019167b |
--- a/Admin/java/etc/settings Mon Mar 26 11:15:41 2012 +0200 +++ b/Admin/java/etc/settings Sat Mar 24 20:24:16 2012 +0100 @@ -1,2 +1,4 @@ -JAVA_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jre1.6.0_22" -ISABELLE_JAVA="$JAVA_HOME/bin/java" +# -*- shell-script -*- :mode=shellscript: + +ISABELLE_JDK_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jdk1.7.0_03" +