added splash screen, to reduce confusion when waiting for main application to start up;
Binary file Admin/launch4j/isabelle.bmp has changed
--- a/Admin/launch4j/isabelle.xml Wed Apr 25 10:59:06 2012 +0200
+++ b/Admin/launch4j/isabelle.xml Wed Apr 25 11:29:55 2012 +0200
@@ -26,4 +26,10 @@
<jdkPreference>jdkOnly</jdkPreference>
<opt>-Disabelle.home="%EXEDIR%" -Dcygwin.root="%EXEDIR%\\contrib\\cygwin-1.7.9"</opt>
</jre>
+ <splash>
+ <file>isabelle.bmp</file>
+ <waitForWindow>false</waitForWindow>
+ <timeout>10</timeout>
+ <timeoutErr>false</timeoutErr>
+ </splash>
</launch4jConfig>
\ No newline at end of file