1.1 --- a/Admin/Windows/launch4j/isabelle.xml	Fri Jan 11 08:17:47 2013 +0100
     1.2 +++ b/Admin/Windows/launch4j/isabelle.xml	Fri Jan 11 13:23:51 2013 +0100
     1.3 @@ -24,7 +24,7 @@
     1.4      <minVersion></minVersion>
     1.5      <maxVersion></maxVersion>
     1.6      <jdkPreference>jdkOnly</jdkPreference>
     1.7 -    <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\cygwin&quot;</opt>
     1.8 +    <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin&quot;</opt>
     1.9    </jre>
    1.10    <splash>
    1.11      <file>isabelle.bmp</file>