# HG changeset patch
# User wenzelm
# Date 1443647750 -7200
# Node ID 371c117c2feabe54a29ba58a3b4560929f60c50c
# Parent  efe76f7f9162a2993be196c1ba2ad105e10f3511
tuned;

diff -r efe76f7f9162 -r 371c117c2fea Admin/Windows/launch4j/isabelle.xml
--- a/Admin/Windows/launch4j/isabelle.xml	Wed Sep 30 22:01:17 2015 +0200
+++ b/Admin/Windows/launch4j/isabelle.xml	Wed Sep 30 23:15:50 2015 +0200
@@ -30,7 +30,7 @@
     <maxVersion></maxVersion>
     <jdkPreference>jdkOnly</jdkPreference>
     <runtimeBits>{PLATFORM_BITS}</runtimeBits>
-    <opt>-Disabelle.root=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin&quot;</opt>
+    <opt>-Disabelle.root=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\contrib\cygwin&quot;</opt>
   </jre>
   <splash>
     <file>{SPLASH}</file>