diff -r ece850d911a5 -r 6feaab4fc27d etc/settings
--- a/etc/settings	Fri May 28 18:15:53 2010 +0200
+++ b/etc/settings	Fri May 28 20:41:23 2010 +0200
@@ -56,14 +56,6 @@
 ###
 
 ISABELLE_JAVA="java"
-ISABELLE_SCALA="scala"
-
-[ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/scala" \
-  "$ISABELLE_HOME/../scala" \
-  "")
-
-[ -n "$SCALA_HOME" ] && ISABELLE_SCALA="$SCALA_HOME/bin/scala"
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"