|
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 |
|
37 description in 2.2.2 |
|
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 |