# HG changeset patch
# User wenzelm
# Date 1385899395 -3600
# Node ID b636dab842f3ff22d4a48adc487e9b8706b27ebb
# Parent  a6697947e277b010f78d3083fb39e894f5f45fdb
more isabelle logos (from isabelle.ico);

diff -r a6697947e277 -r b636dab842f3 lib/logo/isabelle-16.gif
Binary file lib/logo/isabelle-16.gif has changed
diff -r a6697947e277 -r b636dab842f3 lib/logo/isabelle-24.gif
Binary file lib/logo/isabelle-24.gif has changed
diff -r a6697947e277 -r b636dab842f3 lib/logo/isabelle-32.gif
Binary file lib/logo/isabelle-32.gif has changed
diff -r a6697947e277 -r b636dab842f3 lib/logo/isabelle-48.gif
Binary file lib/logo/isabelle-48.gif has changed
diff -r a6697947e277 -r b636dab842f3 lib/logo/isabelle-icon.gif
Binary file lib/logo/isabelle-icon.gif has changed
diff -r a6697947e277 -r b636dab842f3 src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Sat Nov 30 22:56:20 2013 +0100
+++ b/src/Pure/GUI/gui.scala	Sun Dec 01 13:03:15 2013 +0100
@@ -127,7 +127,7 @@
   /* icon */
 
   def isabelle_icon(): ImageIcon =
-    new ImageIcon(getClass.getClassLoader.getResource("isabelle/isabelle-icon.gif"))
+    new ImageIcon(getClass.getClassLoader.getResource("isabelle/isabelle-32.gif"))
 
   def isabelle_image(): Image = isabelle_icon().getImage
 
diff -r a6697947e277 -r b636dab842f3 src/Pure/build-jars
--- a/src/Pure/build-jars	Sat Nov 30 22:56:20 2013 +0100
+++ b/src/Pure/build-jars	Sun Dec 01 13:03:15 2013 +0100
@@ -219,7 +219,7 @@
   mkdir -p "$(dirname "$CHARSET_SERVICE")"
   echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE"
 
-  cp "$ISABELLE_HOME/lib/logo/isabelle-icon.gif" isabelle/.
+  cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" isabelle/.
 
   isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.Main META-INF isabelle || \
     fail "Failed to produce $TARGET"