Admin/launch4j/isabelle.xml
changeset 31859 7130ead05fdd
parent 31858 bf711eb92f84
child 31921 f39825f8bfd3
     1.1 --- a/Admin/launch4j/isabelle.xml	Tue Jun 30 00:46:28 2009 +0200
     1.2 +++ b/Admin/launch4j/isabelle.xml	Tue Jun 30 00:57:06 2009 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4    <customProcName>false</customProcName>
     1.5    <stayAlive>false</stayAlive>
     1.6    <manifest></manifest>
     1.7 -  <icon></icon>
     1.8 +  <icon>isabelle.ico</icon>
     1.9    <jre>
    1.10      <path></path>
    1.11      <minVersion>1.6.0</minVersion>