--- /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
+
--- /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/
Binary file Admin/Windows/WinRun4J/isabelle.bmp has changed
Binary file Admin/Windows/WinRun4J/isabelle.ico has changed
--- 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
