# HG changeset patch
# User wenzelm
# Date 1378658262 -7200
# Node ID 28ba604926f1621b07cbe8ea48238cfdca4fe0a7
# Parent  ad284595e3a81f0a5da2b0e7368bc4e3068511e6
more official lib/logo/isabelle.bmp;

diff -r ad284595e3a8 -r 28ba604926f1 Admin/Windows/WinRun4J/Isabelle.ini
--- 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
 
diff -r ad284595e3a8 -r 28ba604926f1 Admin/Windows/WinRun4J/isabelle.bmp
Binary file Admin/Windows/WinRun4J/isabelle.bmp has changed
diff -r ad284595e3a8 -r 28ba604926f1 Admin/Windows/launch4j/isabelle.bmp
Binary file Admin/Windows/launch4j/isabelle.bmp has changed
diff -r ad284595e3a8 -r 28ba604926f1 Admin/lib/Tools/makedist_bundle
--- 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"
 
diff -r ad284595e3a8 -r 28ba604926f1 lib/logo/isabelle.bmp
Binary file lib/logo/isabelle.bmp has changed