diff -r 7f3760f39bdc -r f8845fc8f38d doc-isac/msteger/dirs-all-jars.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-isac/msteger/dirs-all-jars.txt	Tue Sep 17 09:50:52 2013 +0200
@@ -0,0 +1,79 @@
+----- 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