# HG changeset patch
# User wenzelm
# Date 1395438856 -3600
# Node ID 1ad01f98dc3eac8ab28d159b3f9d0a71867c5c7c
# Parent  2b2bcf4ecb48240183d094b818b603d0bfb5bdd1
added splash screen for jvm boot, which is important for initial encounter to avoid multiple copies running against each other;

diff -r 2b2bcf4ecb48 -r 1ad01f98dc3e Admin/Linux/Isabelle.run
--- 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 "$@"