1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Doc/isac/msteger/dirs-all-jars.txt	Sun Jul 14 14:48:14 2013 +0200
     1.3 @@ -0,0 +1,79 @@
     1.4 +----- for "isabelle jedit &"; contained in Isabelle_bundle
     1.5 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jedit.jar
     1.6 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/LatestVersion.jar
     1.7 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/SideKick.jar
     1.8 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Console.jar
     1.9 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Pure.jar
    1.10 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Isac.jar
    1.11 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-compiler.jar
    1.12 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Isabelle-jEdit.jar
    1.13 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/cobra.jar
    1.14 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/js.jar
    1.15 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Hyperlinks.jar
    1.16 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-swing.jar
    1.17 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-library.jar
    1.18 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/QuickNotepad.jar
    1.19 +./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/ErrorList.jar
    1.20 +----- scala system; contained in Isabelle_bundle
    1.21 +./contrib/scala-2.8.1.final/misc/sbaz/scala-bazaars.jar
    1.22 +./contrib/scala-2.8.1.final/misc/sbaz/sbaz-tests.jar
    1.23 +./contrib/scala-2.8.1.final/misc/scala-devel/plugins/continuations.jar
    1.24 +./contrib/scala-2.8.1.final/lib/scala-compiler.jar
    1.25 +./contrib/scala-2.8.1.final/lib/scalap.jar
    1.26 +./contrib/scala-2.8.1.final/lib/scala-swing.jar
    1.27 +./contrib/scala-2.8.1.final/lib/scala-library.jar
    1.28 +./contrib/scala-2.8.1.final/lib/jline.jar
    1.29 +./contrib/scala-2.8.1.final/lib/scala-dbc.jar
    1.30 +./contrib/scala-2.8.1.final/src/scala-library-src.jar
    1.31 +./contrib/scala-2.8.1.final/src/scala-swing-src.jar
    1.32 +./contrib/scala-2.8.1.final/src/scala-compiler-src.jar
    1.33 +./contrib/scala-2.8.1.final/src/scala-dbc-src.jar
    1.34 +./contrib/scala-2.8.1.final/src/sbaz-src.jar
    1.35 +----- Isars entry to SML from Scala-layer; created according to 3.3.#3{enumerate}
    1.36 +./lib/classes/isabelle-scala.jar 
    1.37 +./lib/classes/Pure.jar
    1.38 +===== all below for NetBeans
    1.39 +----- standard Isabelle, started by <RUN> in NetBeans
    1.40 +      description in 2.2.2
    1.41 +./src/Tools/jEdit/dist/jars/jedit.jar
    1.42 +./src/Tools/jEdit/dist/jars/SideKick.jar
    1.43 +./src/Tools/jEdit/dist/jars/Console.jar
    1.44 +./src/Tools/jEdit/dist/jars/Pure.jar
    1.45 +./src/Tools/jEdit/dist/jars/scala-compiler.jar
    1.46 +./src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar
    1.47 +./src/Tools/jEdit/dist/jars/cobra.jar
    1.48 +./src/Tools/jEdit/dist/jars/js.jar
    1.49 +./src/Tools/jEdit/dist/jars/Hyperlinks.jar
    1.50 +./src/Tools/jEdit/dist/jars/scala-swing.jar
    1.51 +./src/Tools/jEdit/dist/jars/scala-library.jar
    1.52 +./src/Tools/jEdit/dist/jars/ErrorList.jar
    1.53 +----- source of jEdit, required for <DEBUG> in NetBeans;
    1.54 +      adapted from NetBeans' webpages,
    1.55 +      description in 2.2.3.#5
    1.56 +./src/Tools/jEditC/contrib/jEdit/build/jars/SideKick.jar
    1.57 +./src/Tools/jEditC/contrib/jEdit/build/jars/Console.jar
    1.58 +./src/Tools/jEditC/contrib/jEdit/build/jars/Pure.jar
    1.59 +./src/Tools/jEditC/contrib/jEdit/build/jars/Isac.jar
    1.60 +./src/Tools/jEditC/contrib/jEdit/build/jars/QuickNPScala.jar
    1.61 +./src/Tools/jEditC/contrib/jEdit/build/jars/scala-compiler.jar
    1.62 +./src/Tools/jEditC/contrib/jEdit/build/jars/Isabelle-jEdit.jar
    1.63 +./src/Tools/jEditC/contrib/jEdit/build/jars/cobra.jar
    1.64 +./src/Tools/jEditC/contrib/jEdit/build/jars/js.jar
    1.65 +./src/Tools/jEditC/contrib/jEdit/build/jars/Hyperlinks.jar
    1.66 +./src/Tools/jEditC/contrib/jEdit/build/jars/scala-swing.jar
    1.67 +./src/Tools/jEditC/contrib/jEdit/build/jars/scala-library.jar
    1.68 +./src/Tools/jEditC/contrib/jEdit/build/jars/ErrorList.jar
    1.69 +./src/Tools/jEditC/contrib/jEdit/build/jEdit.jar
    1.70 +----- demo plugin, started by <RUN> in NetBeans
    1.71 +      description in 2.2.3.#4
    1.72 +./src/Tools/jEditC/dist/jars/SideKick.jar
    1.73 +./src/Tools/jEditC/dist/jars/Console.jar
    1.74 +./src/Tools/jEditC/dist/jars/Pure.jar
    1.75 +./src/Tools/jEditC/dist/jars/Isac.jar
    1.76 +./src/Tools/jEditC/dist/jars/scala-compiler.jar
    1.77 +./src/Tools/jEditC/dist/jars/cobra.jar
    1.78 +./src/Tools/jEditC/dist/jars/js.jar
    1.79 +./src/Tools/jEditC/dist/jars/Hyperlinks.jar
    1.80 +./src/Tools/jEditC/dist/jars/scala-swing.jar
    1.81 +./src/Tools/jEditC/dist/jars/scala-library.jar
    1.82 +./src/Tools/jEditC/dist/jars/ErrorList.jar