Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added icon;
authorwenzelm
Tue, 30 Jun 2009 00:57:06 +0200
changeset 31859 7130ead05fdd
parent 31858 bf711eb92f84
child 31861 1bb5fe96f61e
added icon;
Admin/launch4j/isabelle.ico file | annotate | diff | comparison | revisions
Admin/launch4j/isabelle.xml file | annotate | diff | comparison | revisions 
Binary file Admin/launch4j/isabelle.ico has changed
--- a/Admin/launch4j/isabelle.xml	Tue Jun 30 00:46:28 2009 +0200
+++ b/Admin/launch4j/isabelle.xml	Tue Jun 30 00:57:06 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>
isabelle