author | wenzelm |
Sat, 16 Aug 2008 16:44:10 +0200 | |
changeset 27921 | 25818c7907f3 |
parent 27920 | c1418834316d |
child 27922 | ddf74e16ab01 |
etc/settings | file | annotate | diff | comparison | revisions |
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