# HG changeset patch
# User wenzelm
# Date 1357845796 -3600
# Node ID 6e77cfc21fc17554e524d6deb5c5b011eac15f63
# Parent  1702ed63c2db6632f3ebb851a2a3e04345a122ec
updated for release;

diff -r 1702ed63c2db -r 6e77cfc21fc1 Admin/Windows/launch4j/Isabelle.exe
Binary file Admin/Windows/launch4j/Isabelle.exe has changed
diff -r 1702ed63c2db -r 6e77cfc21fc1 Admin/Windows/launch4j/isabelle.xml
--- a/Admin/Windows/launch4j/isabelle.xml	Thu Jan 10 19:53:38 2013 +0100
+++ b/Admin/Windows/launch4j/isabelle.xml	Thu Jan 10 20:23:16 2013 +0100
@@ -20,11 +20,11 @@
     <cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp>
   </classPath>
   <jre>
-    <path>%EXEDIR%\contrib\jdk-6u31_x86-cygwin\jdk1.6.0_31</path>
+    <path>%EXEDIR%\contrib\jdk-7u9\x86-cygwin\jdk1.7.0_09</path>
     <minVersion></minVersion>
     <maxVersion></maxVersion>
     <jdkPreference>jdkOnly</jdkPreference>
-    <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin-1.7.9&quot;</opt>
+    <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\cygwin&quot;</opt>
   </jre>
   <splash>
     <file>isabelle.bmp</file>