--- 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 "$@"