changeset 36212 | ebfa4bb0d50f |
parent 36201 | 07d4f74abd12 |
child 37098 | c47653f3ec14 |
1.1 --- a/etc/settings Tue Apr 20 06:53:50 2010 +0200 1.2 +++ b/etc/settings Tue Apr 20 11:26:25 2010 +0200 1.3 @@ -55,7 +55,7 @@ 1.4 ### JVM components (Scala or Java) 1.5 ### 1.6 1.7 -ISABELLE_JAVA="${THIS_JAVA:-java}" 1.8 +ISABELLE_JAVA="java" 1.9 ISABELLE_SCALA="scala" 1.10 1.11 [ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \