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