added splash screen for jvm boot, which is important for initial encounter to avoid multiple copies running against each other;
authorwenzelm
Fri Mar 21 22:54:16 2014 +0100 (2014-03-21)
changeset 562471ad01f98dc3e
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
     1.1 --- a/Admin/Linux/Isabelle.run	Fri Mar 21 20:39:54 2014 +0100
     1.2 +++ b/Admin/Linux/Isabelle.run	Fri Mar 21 22:54:16 2014 +0100
     1.3 @@ -26,5 +26,6 @@
     1.4    "-Disabelle.home=$ISABELLE_HOME" \
     1.5    {JAVA_ARGS} \
     1.6    -classpath "{CLASSPATH}" \
     1.7 +  "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
     1.8    isabelle.Main "$@"
     1.9