diff -r 05c5bb16a887 -r bf711eb92f84 Admin/launch4j/isabelle.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/launch4j/isabelle.xml	Tue Jun 30 00:46:28 2009 +0200
@@ -0,0 +1,23 @@
+<launch4jConfig>
+  <dontWrapJar>true</dontWrapJar>
+  <headerType>gui</headerType>
+  <jar>lib/classes/isabelle-scala.jar</jar>
+  <outfile>Isabelle.exe</outfile>
+  <errTitle></errTitle>
+  <cmdLine></cmdLine>
+  <chdir></chdir>
+  <priority>normal</priority>
+  <downloadUrl>http://java.com/download</downloadUrl>
+  <supportUrl></supportUrl>
+  <customProcName>false</customProcName>
+  <stayAlive>false</stayAlive>
+  <manifest></manifest>
+  <icon></icon>
+  <jre>
+    <path></path>
+    <minVersion>1.6.0</minVersion>
+    <maxVersion></maxVersion>
+    <jdkPreference>preferJre</jdkPreference>
+    <opt>-Disabelle.home=&quot;%EXEDIR%&quot;</opt>
+  </jre>
+</launch4jConfig>
\ No newline at end of file