diff -r c1418834316d -r 25818c7907f3 etc/settings
--- a/etc/settings	Sat Aug 16 16:43:03 2008 +0200
+++ b/etc/settings	Sat Aug 16 16:44:10 2008 +0200
@@ -75,6 +75,9 @@
 ISABELLE_SCALA="scala"
 ISABELLE_JAVA="java"
 
+[ -e "$ISABELLE_HOME/contrib/scala" ] && \
+  classpath "$ISABELLE_HOME/contrib/scala/lib/scala-library.jar"
+
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"