# HG changeset patch
# User wenzelm
# Date 1335100786 -7200
# Node ID 206bf8c4860d7d182b6b26daa86d5c997e036502
# Parent  012a887997f3dea5b9914729fed99b7cb126633f
updated Isabelle.exe specification, assuming layout of bundle;

diff -r 012a887997f3 -r 206bf8c4860d Admin/launch4j/isabelle.xml
--- a/Admin/launch4j/isabelle.xml	Sun Apr 22 14:30:18 2012 +0200
+++ b/Admin/launch4j/isabelle.xml	Sun Apr 22 15:19:46 2012 +0200
@@ -1,23 +1,29 @@
 <launch4jConfig>
   <dontWrapJar>true</dontWrapJar>
   <headerType>gui</headerType>
-  <jar>lib\classes\isabelle-scala.jar</jar>
+  <jar></jar>
   <outfile>Isabelle.exe</outfile>
   <errTitle></errTitle>
   <cmdLine></cmdLine>
   <chdir></chdir>
   <priority>normal</priority>
-  <downloadUrl>http://java.com/download</downloadUrl>
+  <downloadUrl></downloadUrl>
   <supportUrl></supportUrl>
   <customProcName>false</customProcName>
   <stayAlive>true</stayAlive>
   <manifest></manifest>
   <icon>isabelle.ico</icon>
+  <classPath>
+    <mainClass>isabelle.GUI_Setup</mainClass>
+    <cp>lib\classes\ext\Pure.jar</cp>
+    <cp>lib\classes\ext\scala-library.jar</cp>
+    <cp>lib\classes\ext\scala-swing.jar</cp>
+  </classPath>
   <jre>
-    <path></path>
-    <minVersion>1.6.0</minVersion>
+    <path>contrib\jdk-7u3_x86-cygwin\jdk1.7.0_03</path>
+    <minVersion></minVersion>
     <maxVersion></maxVersion>
-    <jdkPreference>preferJre</jdkPreference>
+    <jdkPreference>jdkOnly</jdkPreference>
     <opt>-Disabelle.home=&quot;%EXEDIR%&quot;</opt>
   </jre>
 </launch4jConfig>
\ No newline at end of file