changeset 27921 | 25818c7907f3 |
parent 27912 | ffb69afdd4b4 |
child 28249 | 5440452371e9 |
1.1 --- a/etc/settings Sat Aug 16 16:43:03 2008 +0200 1.2 +++ b/etc/settings Sat Aug 16 16:44:10 2008 +0200 1.3 @@ -75,6 +75,9 @@ 1.4 ISABELLE_SCALA="scala" 1.5 ISABELLE_JAVA="java" 1.6 1.7 +[ -e "$ISABELLE_HOME/contrib/scala" ] && \ 1.8 + classpath "$ISABELLE_HOME/contrib/scala/lib/scala-library.jar" 1.9 + 1.10 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" 1.11 1.12