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 |
--- 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"