changeset 37175 | 6feaab4fc27d |
parent 37102 | 2b94e2d406d9 |
child 40633 | e4c9e0dad473 |
1.1 --- a/etc/settings Fri May 28 18:15:53 2010 +0200 1.2 +++ b/etc/settings Fri May 28 20:41:23 2010 +0200 1.3 @@ -56,14 +56,6 @@ 1.4 ### 1.5 1.6 ISABELLE_JAVA="java" 1.7 -ISABELLE_SCALA="scala" 1.8 - 1.9 -[ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \ 1.10 - "$ISABELLE_HOME/contrib/scala" \ 1.11 - "$ISABELLE_HOME/../scala" \ 1.12 - "") 1.13 - 1.14 -[ -n "$SCALA_HOME" ] && ISABELLE_SCALA="$SCALA_HOME/bin/scala" 1.15 1.16 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" 1.17