equal
deleted
inserted
replaced
24 <minVersion></minVersion> |
24 <minVersion></minVersion> |
25 <maxVersion></maxVersion> |
25 <maxVersion></maxVersion> |
26 <jdkPreference>jdkOnly</jdkPreference> |
26 <jdkPreference>jdkOnly</jdkPreference> |
27 <opt>-Disabelle.home="%EXEDIR%" -Dcygwin.root="%EXEDIR%\\contrib\\cygwin-1.7.9"</opt> |
27 <opt>-Disabelle.home="%EXEDIR%" -Dcygwin.root="%EXEDIR%\\contrib\\cygwin-1.7.9"</opt> |
28 </jre> |
28 </jre> |
|
29 <splash> |
|
30 <file>isabelle.bmp</file> |
|
31 <waitForWindow>false</waitForWindow> |
|
32 <timeout>10</timeout> |
|
33 <timeoutErr>false</timeoutErr> |
|
34 </splash> |
29 </launch4jConfig> |
35 </launch4jConfig> |