# HG changeset patch
# User wenzelm
# Date 1384200983 -3600
# Node ID 0e15665129287e4d6da16dd382e2b44e1947855c
# Parent  a4051679a7bf2ca5cdf2b18ceb37a374cba010ed
obsolete;

diff -r a4051679a7bf -r 0e1566512928 Admin/Windows/launch4j/README
--- a/Admin/Windows/launch4j/README	Mon Nov 11 21:04:30 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-Java application wrapper for Windows
-====================================
-
-* http://launch4j.sourceforge.net
diff -r a4051679a7bf -r 0e1566512928 Admin/Windows/launch4j/isabelle.ico
Binary file Admin/Windows/launch4j/isabelle.ico has changed
diff -r a4051679a7bf -r 0e1566512928 Admin/Windows/launch4j/isabelle.xml
--- a/Admin/Windows/launch4j/isabelle.xml	Mon Nov 11 21:04:30 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,39 +0,0 @@
-<launch4jConfig>
-  <dontWrapJar>true</dontWrapJar>
-  <headerType>gui</headerType>
-  <jar></jar>
-  <outfile>Isabelle.exe</outfile>
-  <errTitle></errTitle>
-  <cmdLine></cmdLine>
-  <chdir></chdir>
-  <priority>normal</priority>
-  <downloadUrl></downloadUrl>
-  <supportUrl></supportUrl>
-  <customProcName>false</customProcName>
-  <stayAlive>true</stayAlive>
-  <manifest></manifest>
-  <icon>isabelle.ico</icon>
-  <classPath>
-    <mainClass>isabelle.Main</mainClass>
-    <cp>%EXEDIR%\lib\classes\ext\Pure.jar</cp>
-    <cp>%EXEDIR%\lib\classes\ext\scala-compiler.jar</cp>
-    <cp>%EXEDIR%\lib\classes\ext\scala-library.jar</cp>
-    <cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp>
-    <cp>%EXEDIR%\lib\classes\ext\scala-actors.jar</cp>
-    <cp>%EXEDIR%\lib\classes\ext\scala-reflect.jar</cp>
-    <cp>%EXEDIR%\src\Tools\jEdit\dist\jedit.jar</cp>
-  </classPath>
-  <jre>
-    <path>%EXEDIR%\contrib\jdk\x86-cygwin</path>
-    <minVersion></minVersion>
-    <maxVersion></maxVersion>
-    <jdkPreference>jdkOnly</jdkPreference>
-    <opt>-Dfile.encoding=UTF-8 -server -Xms128m -Xmx1024m -Xss2m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false -Disabelle.home=&quot;%EXEDIR%&quot;</opt>
-  </jre>
-  <splash>
-    <file>isabelle.bmp</file>
-    <waitForWindow>false</waitForWindow>
-    <timeout>10</timeout>
-    <timeoutErr>false</timeoutErr>
-  </splash>
-</launch4jConfig>
\ No newline at end of file