--- a/Admin/Windows/WinRun4J/Isabelle.ini Thu Sep 12 14:32:02 2013 +0200
+++ b/Admin/Windows/WinRun4J/Isabelle.ini Thu Sep 12 15:37:09 2013 +0200
@@ -1,11 +1,4 @@
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
splash.image=lib\logo\isabelle.bmp
vmarg.1=-Disabelle.home=%INI_DIR%