# HG changeset patch
# User wenzelm
# Date 1218897850 -7200
# Node ID 25818c7907f3e1f904f399ceae536951bb222310
# Parent  c1418834316d2d7eb694fca093d0246e99670e35
add scala-library.jar if available;

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"