1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-src/isac/msteger/dirs-all-jars.txt Thu Jun 16 15:09:41 2011 +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