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.
added splash screen for jvm boot, which is important for initial encounter to avoid multiple copies running against each other;
authorwenzelm
Fri, 21 Mar 2014 22:54:16 +0100
changeset 56247 1ad01f98dc3e
parent 56246 2b2bcf4ecb48
child 56248 67dc9549fa15
child 56249 0fda98dd2c93
added splash screen for jvm boot, which is important for initial encounter to avoid multiple copies running against each other;
Admin/Linux/Isabelle.run file | annotate | diff | comparison | revisions 
--- a/Admin/Linux/Isabelle.run	Fri Mar 21 20:39:54 2014 +0100
+++ b/Admin/Linux/Isabelle.run	Fri Mar 21 22:54:16 2014 +0100
@@ -26,5 +26,6 @@
   "-Disabelle.home=$ISABELLE_HOME" \
   {JAVA_ARGS} \
   -classpath "{CLASSPATH}" \
+  "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
   isabelle.Main "$@"
isabelle