Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add scala-library.jar if available;
authorwenzelm
Sat, 16 Aug 2008 16:44:10 +0200
changeset 27921 25818c7907f3
parent 27920 c1418834316d
child 27922 ddf74e16ab01
add scala-library.jar if available;
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"
isabelle