Mercurial Mercurial > repos > testboard / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/launch4j/isabelle.xml
changeset 47679 93e0dada1266
parent 47665 2cbf029abca9
child 47743 493c0169e75c 
--- a/Admin/launch4j/isabelle.xml	Sun Apr 22 19:44:40 2012 +0200
+++ b/Admin/launch4j/isabelle.xml	Sun Apr 22 21:43:57 2012 +0200
@@ -24,6 +24,6 @@
     <minVersion></minVersion>
     <maxVersion></maxVersion>
     <jdkPreference>jdkOnly</jdkPreference>
-    <opt>-Disabelle.home=&quot;%EXEDIR%&quot;</opt>
+    <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin-1.7.9&quot;</opt>
   </jre>
 </launch4jConfig>
\ No newline at end of file
testboard