Admin/launch4j/isabelle.xml
changeset 47743 493c0169e75c
parent 47679 93e0dada1266
child 47745 de249b5ae6e2
     1.1 --- a/Admin/launch4j/isabelle.xml	Wed Apr 25 10:59:06 2012 +0200
     1.2 +++ b/Admin/launch4j/isabelle.xml	Wed Apr 25 11:29:55 2012 +0200
     1.3 @@ -26,4 +26,10 @@
     1.4      <jdkPreference>jdkOnly</jdkPreference>
     1.5      <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin-1.7.9&quot;</opt>
     1.6    </jre>
     1.7 +  <splash>
     1.8 +    <file>isabelle.bmp</file>
     1.9 +    <waitForWindow>false</waitForWindow>
    1.10 +    <timeout>10</timeout>
    1.11 +    <timeoutErr>false</timeoutErr>
    1.12 +  </splash>
    1.13  </launch4jConfig>
    1.14 \ No newline at end of file