diff -r 7f3760f39bdc -r f8845fc8f38d src/Doc/isac/msteger/dirs-all-jars.txt
--- a/src/Doc/isac/msteger/dirs-all-jars.txt	Mon Sep 16 12:27:20 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,79 +0,0 @@
------ for "isabelle jedit &"; contained in Isabelle_bundle
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jedit.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/LatestVersion.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/SideKick.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Console.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Pure.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Isac.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-compiler.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Isabelle-jEdit.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/cobra.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/js.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Hyperlinks.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-swing.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-library.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/QuickNotepad.jar
-./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/ErrorList.jar
------ scala system; contained in Isabelle_bundle
-./contrib/scala-2.8.1.final/misc/sbaz/scala-bazaars.jar
-./contrib/scala-2.8.1.final/misc/sbaz/sbaz-tests.jar
-./contrib/scala-2.8.1.final/misc/scala-devel/plugins/continuations.jar
-./contrib/scala-2.8.1.final/lib/scala-compiler.jar
-./contrib/scala-2.8.1.final/lib/scalap.jar
-./contrib/scala-2.8.1.final/lib/scala-swing.jar
-./contrib/scala-2.8.1.final/lib/scala-library.jar
-./contrib/scala-2.8.1.final/lib/jline.jar
-./contrib/scala-2.8.1.final/lib/scala-dbc.jar
-./contrib/scala-2.8.1.final/src/scala-library-src.jar
-./contrib/scala-2.8.1.final/src/scala-swing-src.jar
-./contrib/scala-2.8.1.final/src/scala-compiler-src.jar
-./contrib/scala-2.8.1.final/src/scala-dbc-src.jar
-./contrib/scala-2.8.1.final/src/sbaz-src.jar
------ Isars entry to SML from Scala-layer; created according to 3.3.#3{enumerate}
-./lib/classes/isabelle-scala.jar 
-./lib/classes/Pure.jar
-===== all below for NetBeans
------ standard Isabelle, started by <RUN> in NetBeans
-      description in 2.2.2
-./src/Tools/jEdit/dist/jars/jedit.jar
-./src/Tools/jEdit/dist/jars/SideKick.jar
-./src/Tools/jEdit/dist/jars/Console.jar
-./src/Tools/jEdit/dist/jars/Pure.jar
-./src/Tools/jEdit/dist/jars/scala-compiler.jar
-./src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar
-./src/Tools/jEdit/dist/jars/cobra.jar
-./src/Tools/jEdit/dist/jars/js.jar
-./src/Tools/jEdit/dist/jars/Hyperlinks.jar
-./src/Tools/jEdit/dist/jars/scala-swing.jar
-./src/Tools/jEdit/dist/jars/scala-library.jar
-./src/Tools/jEdit/dist/jars/ErrorList.jar
------ source of jEdit, required for <DEBUG> in NetBeans;
-      adapted from NetBeans' webpages,
-      description in 2.2.3.#5
-./src/Tools/jEditC/contrib/jEdit/build/jars/SideKick.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/Console.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/Pure.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/Isac.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/QuickNPScala.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/scala-compiler.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/Isabelle-jEdit.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/cobra.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/js.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/Hyperlinks.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/scala-swing.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/scala-library.jar
-./src/Tools/jEditC/contrib/jEdit/build/jars/ErrorList.jar
-./src/Tools/jEditC/contrib/jEdit/build/jEdit.jar
------ demo plugin, started by <RUN> in NetBeans
-      description in 2.2.3.#4
-./src/Tools/jEditC/dist/jars/SideKick.jar
-./src/Tools/jEditC/dist/jars/Console.jar
-./src/Tools/jEditC/dist/jars/Pure.jar
-./src/Tools/jEditC/dist/jars/Isac.jar
-./src/Tools/jEditC/dist/jars/scala-compiler.jar
-./src/Tools/jEditC/dist/jars/cobra.jar
-./src/Tools/jEditC/dist/jars/js.jar
-./src/Tools/jEditC/dist/jars/Hyperlinks.jar
-./src/Tools/jEditC/dist/jars/scala-swing.jar
-./src/Tools/jEditC/dist/jars/scala-library.jar
-./src/Tools/jEditC/dist/jars/ErrorList.jar