# HG changeset patch
# User wenzelm
# Date 1246316244 -7200
# Node ID 1bb5fe96f61e401bfe3c26cc649e88ada96ff0ea
# Parent  e49011bb85da115d95e12163589dde299fb1c000# Parent  7130ead05fdd01bafa8e3ff1cbeb6605a226fa91
merged

diff -r e49011bb85da -r 1bb5fe96f61e Admin/launch4j/isabelle.ico
Binary file Admin/launch4j/isabelle.ico has changed
diff -r e49011bb85da -r 1bb5fe96f61e Admin/launch4j/isabelle.xml
--- a/Admin/launch4j/isabelle.xml	Tue Jun 30 00:50:42 2009 +0200
+++ b/Admin/launch4j/isabelle.xml	Tue Jun 30 00:57:24 2009 +0200
@@ -12,7 +12,7 @@
   <customProcName>false</customProcName>
   <stayAlive>false</stayAlive>
   <manifest></manifest>
-  <icon></icon>
+  <icon>isabelle.ico</icon>
   <jre>
     <path></path>
     <minVersion>1.6.0</minVersion>