etc/settings
changeset 37174 6feaab4fc27d
parent 37062 2b94e2d406d9
child 40387 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