more official lib/logo/isabelle.bmp;

--- a/Admin/Windows/WinRun4J/Isabelle.ini	Sun Sep 08 18:10:12 2013 +0200
+++ b/Admin/Windows/WinRun4J/Isabelle.ini	Sun Sep 08 18:37:42 2013 +0200
@@ -15,5 +15,5 @@
 vmarg.6=-Dactors.corePoolSize=4
 vmarg.7=-Dactors.enableForkJoin=false
 vmarg.8=-Disabelle.home=%INI_DIR%
-splash.image=isabelle.bmp
+splash.image=lib\logo\isabelle.bmp
 

Binary file Admin/Windows/WinRun4J/isabelle.bmp has changed

Binary file Admin/Windows/launch4j/isabelle.bmp has changed

--- a/Admin/lib/Tools/makedist_bundle	Sun Sep 08 18:10:12 2013 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Sun Sep 08 18:37:42 2013 +0200
@@ -154,8 +154,7 @@
 
     cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe"
     cp "$ISABELLE_HOME/Admin/Windows/WinRun4J/Isabelle.ini" "$ISABELLE_TARGET/${ISABELLE_NAME}.ini"
-    cp "$ISABELLE_HOME/Admin/Windows/WinRun4J/isabelle.bmp" \
-      "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
+    cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
       "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat" \
       "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
 

Binary file lib/logo/isabelle.bmp has changed