equal
deleted
inserted
replaced
271 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. |
271 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc. |
272 unset XMODIFIERS |
272 unset XMODIFIERS |
273 |
273 |
274 exec "$ISABELLE_HOME/contrib/""" + jdk_component + """/x86_64-linux/jre/bin/java" \ |
274 exec "$ISABELLE_HOME/contrib/""" + jdk_component + """/x86_64-linux/jre/bin/java" \ |
275 "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \ |
275 "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \ |
276 -classpath """" + classpath.map("$ISABELLE_HOME/" + _).mkString(":") + """" \ |
276 -classpath """" + classpath.map(p => "$ISABELLE_HOME/" + p.implode).mkString(":") + """" \ |
277 "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ |
277 "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ |
278 isabelle.Main "$@" |
278 isabelle.Main "$@" |
279 """ |
279 """ |
280 |
280 |
281 |
281 |