separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc)
1 ----- for "isabelle jedit &"; contained in Isabelle_bundle
2 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jedit.jar
3 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/LatestVersion.jar
4 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/SideKick.jar
5 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Console.jar
6 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Pure.jar
7 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Isac.jar
8 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-compiler.jar
9 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Isabelle-jEdit.jar
10 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/cobra.jar
11 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/js.jar
12 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/Hyperlinks.jar
13 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-swing.jar
14 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/scala-library.jar
15 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/QuickNotepad.jar
16 ./contrib/jedit-4.3.2_Isabelle-6d736d983d5c/jars/ErrorList.jar
17 ----- scala system; contained in Isabelle_bundle
18 ./contrib/scala-2.8.1.final/misc/sbaz/scala-bazaars.jar
19 ./contrib/scala-2.8.1.final/misc/sbaz/sbaz-tests.jar
20 ./contrib/scala-2.8.1.final/misc/scala-devel/plugins/continuations.jar
21 ./contrib/scala-2.8.1.final/lib/scala-compiler.jar
22 ./contrib/scala-2.8.1.final/lib/scalap.jar
23 ./contrib/scala-2.8.1.final/lib/scala-swing.jar
24 ./contrib/scala-2.8.1.final/lib/scala-library.jar
25 ./contrib/scala-2.8.1.final/lib/jline.jar
26 ./contrib/scala-2.8.1.final/lib/scala-dbc.jar
27 ./contrib/scala-2.8.1.final/src/scala-library-src.jar
28 ./contrib/scala-2.8.1.final/src/scala-swing-src.jar
29 ./contrib/scala-2.8.1.final/src/scala-compiler-src.jar
30 ./contrib/scala-2.8.1.final/src/scala-dbc-src.jar
31 ./contrib/scala-2.8.1.final/src/sbaz-src.jar
32 ----- Isars entry to SML from Scala-layer; created according to 3.3.#3{enumerate}
33 ./lib/classes/isabelle-scala.jar
34 ./lib/classes/Pure.jar
35 ===== all below for NetBeans
36 ----- standard Isabelle, started by <RUN> in NetBeans
38 ./src/Tools/jEdit/dist/jars/jedit.jar
39 ./src/Tools/jEdit/dist/jars/SideKick.jar
40 ./src/Tools/jEdit/dist/jars/Console.jar
41 ./src/Tools/jEdit/dist/jars/Pure.jar
42 ./src/Tools/jEdit/dist/jars/scala-compiler.jar
43 ./src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar
44 ./src/Tools/jEdit/dist/jars/cobra.jar
45 ./src/Tools/jEdit/dist/jars/js.jar
46 ./src/Tools/jEdit/dist/jars/Hyperlinks.jar
47 ./src/Tools/jEdit/dist/jars/scala-swing.jar
48 ./src/Tools/jEdit/dist/jars/scala-library.jar
49 ./src/Tools/jEdit/dist/jars/ErrorList.jar
50 ----- source of jEdit, required for <DEBUG> in NetBeans;
51 adapted from NetBeans' webpages,
52 description in 2.2.3.#5
53 ./src/Tools/jEditC/contrib/jEdit/build/jars/SideKick.jar
54 ./src/Tools/jEditC/contrib/jEdit/build/jars/Console.jar
55 ./src/Tools/jEditC/contrib/jEdit/build/jars/Pure.jar
56 ./src/Tools/jEditC/contrib/jEdit/build/jars/Isac.jar
57 ./src/Tools/jEditC/contrib/jEdit/build/jars/QuickNPScala.jar
58 ./src/Tools/jEditC/contrib/jEdit/build/jars/scala-compiler.jar
59 ./src/Tools/jEditC/contrib/jEdit/build/jars/Isabelle-jEdit.jar
60 ./src/Tools/jEditC/contrib/jEdit/build/jars/cobra.jar
61 ./src/Tools/jEditC/contrib/jEdit/build/jars/js.jar
62 ./src/Tools/jEditC/contrib/jEdit/build/jars/Hyperlinks.jar
63 ./src/Tools/jEditC/contrib/jEdit/build/jars/scala-swing.jar
64 ./src/Tools/jEditC/contrib/jEdit/build/jars/scala-library.jar
65 ./src/Tools/jEditC/contrib/jEdit/build/jars/ErrorList.jar
66 ./src/Tools/jEditC/contrib/jEdit/build/jEdit.jar
67 ----- demo plugin, started by <RUN> in NetBeans
68 description in 2.2.3.#4
69 ./src/Tools/jEditC/dist/jars/SideKick.jar
70 ./src/Tools/jEditC/dist/jars/Console.jar
71 ./src/Tools/jEditC/dist/jars/Pure.jar
72 ./src/Tools/jEditC/dist/jars/Isac.jar
73 ./src/Tools/jEditC/dist/jars/scala-compiler.jar
74 ./src/Tools/jEditC/dist/jars/cobra.jar
75 ./src/Tools/jEditC/dist/jars/js.jar
76 ./src/Tools/jEditC/dist/jars/Hyperlinks.jar
77 ./src/Tools/jEditC/dist/jars/scala-swing.jar
78 ./src/Tools/jEditC/dist/jars/scala-library.jar
79 ./src/Tools/jEditC/dist/jars/ErrorList.jar