Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 30 Sep 2015 23:15:50 +0200
changeset 61296 371c117c2fea
parent 61295 efe76f7f9162
child 61297 d6e51df4e7f0
tuned;
Admin/Windows/launch4j/isabelle.xml file | annotate | diff | comparison | revisions 
--- 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>
isabelle