equal
deleted
inserted
replaced
68 |
68 |
69 ISABELLE_JAVA="java" |
69 ISABELLE_JAVA="java" |
70 ISABELLE_SCALA="scala" |
70 ISABELLE_SCALA="scala" |
71 |
71 |
72 [ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \ |
72 [ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \ |
73 "$ISABELLE_HOME/contrib/scala" |
73 "$ISABELLE_HOME/contrib/scala" \ |
74 "$ISABELLE_HOME/../scala" |
74 "$ISABELLE_HOME/../scala" \ |
75 "") |
75 "") |
|
76 |
76 [ -n "$SCALA_HOME" ] && ISABELLE_SCALA="$SCALA_HOME/bin/scala" |
77 [ -n "$SCALA_HOME" ] && ISABELLE_SCALA="$SCALA_HOME/bin/scala" |
77 |
78 |
78 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
79 classpath "$ISABELLE_HOME/lib/classes/Pure.jar" |
79 |
80 |
80 |
81 |