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.
merged
authorwenzelm
Tue, 30 Jun 2009 00:57:24 +0200
changeset 31861 1bb5fe96f61e
parent 31860 e49011bb85da (current diff)
parent 31859 7130ead05fdd (diff)
child 31862 53acb8ec6c51
child 31863 e391eee8bf14
merged
Binary file Admin/launch4j/isabelle.ico has changed
--- 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>
isabelle