neuper@42044: ----- for "isabelle jedit &"; contained in Isabelle_bundle
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jedit.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/LatestVersion.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/SideKick.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Console.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Pure.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Isac.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-compiler.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Isabelle-jEdit.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/cobra.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/js.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Hyperlinks.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-swing.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-library.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/QuickNotepad.jar
neuper@42044: ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/ErrorList.jar
neuper@42044: ----- scala system; contained in Isabelle_bundle
neuper@42044: ./contrib/scala-2.8.1.final/misc/sbaz/scala-bazaars.jar
neuper@42044: ./contrib/scala-2.8.1.final/misc/sbaz/sbaz-tests.jar
neuper@42044: ./contrib/scala-2.8.1.final/misc/scala-devel/plugins/continuations.jar
neuper@42044: ./contrib/scala-2.8.1.final/lib/scala-compiler.jar
neuper@42044: ./contrib/scala-2.8.1.final/lib/scalap.jar
neuper@42044: ./contrib/scala-2.8.1.final/lib/scala-swing.jar
neuper@42044: ./contrib/scala-2.8.1.final/lib/scala-library.jar
neuper@42044: ./contrib/scala-2.8.1.final/lib/jline.jar
neuper@42044: ./contrib/scala-2.8.1.final/lib/scala-dbc.jar
neuper@42044: ./contrib/scala-2.8.1.final/src/scala-library-src.jar
neuper@42044: ./contrib/scala-2.8.1.final/src/scala-swing-src.jar
neuper@42044: ./contrib/scala-2.8.1.final/src/scala-compiler-src.jar
neuper@42044: ./contrib/scala-2.8.1.final/src/scala-dbc-src.jar
neuper@42044: ./contrib/scala-2.8.1.final/src/sbaz-src.jar
neuper@42044: ----- Isars entry to SML from Scala-layer; created according to 3.3.#3{enumerate}
neuper@42044: ./lib/classes/isabelle-scala.jar 
neuper@42044: ./lib/classes/Pure.jar
neuper@42044: ===== all below for NetBeans
neuper@42044: ----- standard Isabelle, started by <RUN> in NetBeans
neuper@42044:       description in 2.2.2
neuper@42044: ./src/Tools/jEdit/dist/jars/jedit.jar
neuper@42044: ./src/Tools/jEdit/dist/jars/SideKick.jar
neuper@42044: ./src/Tools/jEdit/dist/jars/Console.jar
neuper@42044: ./src/Tools/jEdit/dist/jars/Pure.jar
neuper@42044: ./src/Tools/jEdit/dist/jars/scala-compiler.jar
neuper@42044: ./src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar
neuper@42044: ./src/Tools/jEdit/dist/jars/cobra.jar
neuper@42044: ./src/Tools/jEdit/dist/jars/js.jar
neuper@42044: ./src/Tools/jEdit/dist/jars/Hyperlinks.jar
neuper@42044: ./src/Tools/jEdit/dist/jars/scala-swing.jar
neuper@42044: ./src/Tools/jEdit/dist/jars/scala-library.jar
neuper@42044: ./src/Tools/jEdit/dist/jars/ErrorList.jar
neuper@42044: ----- source of jEdit, required for <DEBUG> in NetBeans;
neuper@42044:       adapted from NetBeans' webpages,
neuper@42044:       description in 2.2.3.#5
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/SideKick.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/Console.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/Pure.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/Isac.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/QuickNPScala.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/scala-compiler.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/Isabelle-jEdit.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/cobra.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/js.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/Hyperlinks.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/scala-swing.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/scala-library.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jars/ErrorList.jar
neuper@42044: ./src/Tools/jEditC/contrib/jEdit/build/jEdit.jar
neuper@42044: ----- demo plugin, started by <RUN> in NetBeans
neuper@42044:       description in 2.2.3.#4
neuper@42044: ./src/Tools/jEditC/dist/jars/SideKick.jar
neuper@42044: ./src/Tools/jEditC/dist/jars/Console.jar
neuper@42044: ./src/Tools/jEditC/dist/jars/Pure.jar
neuper@42044: ./src/Tools/jEditC/dist/jars/Isac.jar
neuper@42044: ./src/Tools/jEditC/dist/jars/scala-compiler.jar
neuper@42044: ./src/Tools/jEditC/dist/jars/cobra.jar
neuper@42044: ./src/Tools/jEditC/dist/jars/js.jar
neuper@42044: ./src/Tools/jEditC/dist/jars/Hyperlinks.jar
neuper@42044: ./src/Tools/jEditC/dist/jars/scala-swing.jar
neuper@42044: ./src/Tools/jEditC/dist/jars/scala-library.jar
neuper@42044: ./src/Tools/jEditC/dist/jars/ErrorList.jar