Admin/launch4j/isabelle.xml
changeset 47679 93e0dada1266
parent 47665 2cbf029abca9
child 47743 493c0169e75c
     1.1 --- a/Admin/launch4j/isabelle.xml	Sun Apr 22 19:44:40 2012 +0200
     1.2 +++ b/Admin/launch4j/isabelle.xml	Sun Apr 22 21:43:57 2012 +0200
     1.3 @@ -24,6 +24,6 @@
     1.4      <minVersion></minVersion>
     1.5      <maxVersion></maxVersion>
     1.6      <jdkPreference>jdkOnly</jdkPreference>
     1.7 -    <opt>-Disabelle.home=&quot;%EXEDIR%&quot;</opt>
     1.8 +    <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin-1.7.9&quot;</opt>
     1.9    </jre>
    1.10  </launch4jConfig>
    1.11 \ No newline at end of file