# HG changeset patch
# User wenzelm
# Date 1378655516 -7200
# Node ID 66df4b76e58f598f3b5e4d5074d0d148917bc686
# Parent  fe80dd7cd5434fd7b2d24fef3f65acb1e9f41406
updated to WinRun4J;

diff -r fe80dd7cd543 -r 66df4b76e58f Admin/Windows/WinRun4J/Isabelle.ini
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Windows/WinRun4J/Isabelle.ini	Sun Sep 08 17:51:56 2013 +0200
@@ -0,0 +1,19 @@
+main.class=isabelle.Main
+classpath.1=lib\classes\ext\Pure.jar
+classpath.2=lib\classes\ext\scala-compiler.jar
+classpath.3=lib\classes\ext\scala-library.jar
+classpath.4=lib\classes\ext\scala-swing.jar
+classpath.5=lib\classes\ext\scala-actors.jar
+classpath.6=lib\classes\ext\scala-reflect.jar
+classpath.7=src\Tools\jEdit\dist\jedit.jar
+vm.location=contrib\jdk\x86-cygwin\jre\bin\server\jvm.dll
+vmarg.1=-Dfile.encoding=UTF-8
+vmarg.2=-server
+vmarg.3=-Xms128m
+vmarg.4=-Xmx1024m
+vmarg.5=-Xss2m
+vmarg.6=-Dactors.corePoolSize=4
+vmarg.7=-Dactors.enableForkJoin=false
+vmarg.8=-Disabelle.home=%INI_DIR%
+splash.image=isabelle.bmp
+
diff -r fe80dd7cd543 -r 66df4b76e58f Admin/Windows/WinRun4J/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Windows/WinRun4J/README	Sun Sep 08 17:51:56 2013 +0200
@@ -0,0 +1,4 @@
+Java application wrapper for Windows
+====================================
+
+* http://winrun4j.sourceforge.net/
diff -r fe80dd7cd543 -r 66df4b76e58f Admin/Windows/WinRun4J/isabelle.bmp
Binary file Admin/Windows/WinRun4J/isabelle.bmp has changed
diff -r fe80dd7cd543 -r 66df4b76e58f Admin/Windows/WinRun4J/isabelle.ico
Binary file Admin/Windows/WinRun4J/isabelle.ico has changed
diff -r fe80dd7cd543 -r 66df4b76e58f Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Sep 08 12:26:07 2013 +0200
+++ b/Admin/components/components.sha1	Sun Sep 08 17:51:56 2013 +0200
@@ -56,6 +56,7 @@
 81d21dfd0ea5c58f375301f5166be9dbf8921a7a  windows_app-20130716.tar.gz
 fe15e1079cf5ad86f3cbab4553722a0d20002d11  windows_app-20130905.tar.gz
 e6a43b7b3b21295853bd2a63b27ea20bd6102f5f  windows_app-20130906.tar.gz
+8fe004aead867d4c82425afac481142bd3f01fb0  windows_app-20130908.tar.gz
 2ae13aa17d0dc95ce254a52f1dba10929763a10d  xz-java-1.2.tar.gz
 4530a1aa6f4498ee3d78d6000fa71a3f63bd077f  yices-1.0.28.tar.gz
 12ae71acde43bd7bed1e005c43034b208c0cba4c  z3-3.2.tar.gz