added icon;
authorwenzelm
Tue Jun 30 00:57:06 2009 +0200 (2009-06-30)
changeset 318597130ead05fdd
parent 31858 bf711eb92f84
child 31861 1bb5fe96f61e
added icon;
Admin/launch4j/isabelle.ico
Admin/launch4j/isabelle.xml
     1.1 Binary file Admin/launch4j/isabelle.ico has changed
     2.1 --- a/Admin/launch4j/isabelle.xml	Tue Jun 30 00:46:28 2009 +0200
     2.2 +++ b/Admin/launch4j/isabelle.xml	Tue Jun 30 00:57:06 2009 +0200
     2.3 @@ -12,7 +12,7 @@
     2.4    <customProcName>false</customProcName>
     2.5    <stayAlive>false</stayAlive>
     2.6    <manifest></manifest>
     2.7 -  <icon></icon>
     2.8 +  <icon>isabelle.ico</icon>
     2.9    <jre>
    2.10      <path></path>
    2.11      <minVersion>1.6.0</minVersion>