# HG changeset patch
# User wenzelm
# Date 1360188890 -3600
# Node ID 8cf38c6b33f88609253e0f6fc9e08cea5a97f6a3
# Parent  4e1c940b1fb255cdfee4755b63e5f3f995cbd838
proforma update to jdk-7u13 -- barely relevant security updates by Oracle;

diff -r 4e1c940b1fb2 -r 8cf38c6b33f8 Admin/Windows/launch4j/Isabelle.exe
Binary file Admin/Windows/launch4j/Isabelle.exe has changed
diff -r 4e1c940b1fb2 -r 8cf38c6b33f8 Admin/Windows/launch4j/isabelle.xml
--- a/Admin/Windows/launch4j/isabelle.xml	Wed Feb 06 21:05:06 2013 +0100
+++ b/Admin/Windows/launch4j/isabelle.xml	Wed Feb 06 23:14:50 2013 +0100
@@ -20,7 +20,7 @@
     <cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp>
   </classPath>
   <jre>
-    <path>%EXEDIR%\contrib\jdk-7u11\x86-cygwin\jdk1.7.0_11</path>
+    <path>%EXEDIR%\contrib\jdk-7u13\x86-cygwin\jdk1.7.0_13</path>
     <minVersion></minVersion>
     <maxVersion></maxVersion>
     <jdkPreference>jdkOnly</jdkPreference>
diff -r 4e1c940b1fb2 -r 8cf38c6b33f8 Admin/components/main
--- a/Admin/components/main	Wed Feb 06 21:05:06 2013 +0100
+++ b/Admin/components/main	Wed Feb 06 23:14:50 2013 +0100
@@ -3,7 +3,7 @@
 e-1.6-2
 exec_process-1.0.3
 Haskabelle-2013
-jdk-7u11
+jdk-7u13
 jedit_build-20130104
 jfreechart-1.0.14
 kodkodi-1.5.2