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.
merged
authorhaftmann
Fri, 03 Jul 2009 16:51:56 +0200
changeset 31937 904f93c76650
parent 31923 d6cd15601d8a (diff)
parent 31936 9466169dc8e0 (current diff)
child 31938 f193d95b4632
merged
src/HOL/Nominal/nominal.ML file | annotate | diff | comparison | revisions 
--- a/etc/settings	Fri Jul 03 16:51:08 2009 +0200
+++ b/etc/settings	Fri Jul 03 16:51:56 2009 +0200
@@ -70,9 +70,10 @@
 ISABELLE_SCALA="scala"
 
 [ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/scala"
-  "$ISABELLE_HOME/../scala"
+  "$ISABELLE_HOME/contrib/scala" \
+  "$ISABELLE_HOME/../scala" \
   "")
+
 [ -n "$SCALA_HOME" ] && ISABELLE_SCALA="$SCALA_HOME/bin/scala"
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
isabelle