# HG changeset patch
# User wenzelm
# Date 1358440142 -3600
# Node ID d58dae9079a6009eab602a8629343069b368ef74
# Parent  8757e6aa50eb8ed7d6044b7fdc725dcc350e7e66
updated to jdk-7u11;

diff -r 8757e6aa50eb -r d58dae9079a6 Admin/Windows/launch4j/Isabelle.exe
Binary file Admin/Windows/launch4j/Isabelle.exe has changed
diff -r 8757e6aa50eb -r d58dae9079a6 Admin/Windows/launch4j/isabelle.xml
--- a/Admin/Windows/launch4j/isabelle.xml	Thu Jan 17 15:50:56 2013 +0100
+++ b/Admin/Windows/launch4j/isabelle.xml	Thu Jan 17 17:29:02 2013 +0100
@@ -20,7 +20,7 @@
     <cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp>
   </classPath>
   <jre>
-    <path>%EXEDIR%\contrib\jdk-7u9\x86-cygwin\jdk1.7.0_09</path>
+    <path>%EXEDIR%\contrib\jdk-7u11\x86-cygwin\jdk1.7.0_11</path>
     <minVersion></minVersion>
     <maxVersion></maxVersion>
     <jdkPreference>jdkOnly</jdkPreference>