neuper@42070
|
1 |
\chapter{Milestones und Arbeitsprotokolle}\label{milestones} %\ref doesnt work outside this file ?!?
|
neuper@42070
|
2 |
\section{Inhaltliche Voraussetzungen erarbeitet: beendet am 27.09.2010}
|
neuper@42070
|
3 |
\begin{itemize}
|
neuper@42070
|
4 |
\item Kenntnis der Grundlagen und Anwendung von CTP: beendet am 03.08.2010
|
neuper@42070
|
5 |
\item Charakteristika der Programmsprache Scala: beendet am 27.09.2010
|
neuper@42070
|
6 |
\item Scala Actors: beendet am 12.08.2010
|
neuper@42070
|
7 |
\end{itemize}
|
neuper@42070
|
8 |
\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
|
neuper@42070
|
9 |
\hline
|
neuper@42070
|
10 |
Datum & T\"atigkeit & Einheiten \\ \hline
|
neuper@42070
|
11 |
12.07.2010 & Meeting: erste Besprechung und Erkl\"{a}rungen zu Isabelle, Isac und CTPs & 2 \\ \hline
|
neuper@42070
|
12 |
15.07.2010 & Recherche \"{u}ber Isabelle und CTPs & 3 \\ \hline
|
neuper@42070
|
13 |
20.07.2010 & Meeting: Besprechen der grunds\"{a}tzlichen Vorgangsweise und Ziele & 1 \\ \hline
|
neuper@42070
|
14 |
23.07.2010 & Isabelle: Ziele, Techniken (ML) und Zusammenh\"{a}nge mit Isac abkl\"{a}ren & 1 \\ \hline
|
neuper@42070
|
15 |
30.07.2010 & Ende der Einarbeitungstage: weitere Vorgensweise \"{u}ber Backs 'structured derivations'; Begriffserkl\"{a}rung & 3 \\ \hline
|
neuper@42070
|
16 |
01.08.2010 & Recherche: Buch f\"{u}r Scala & 2 \\ \hline
|
neuper@42070
|
17 |
03.08.2010 & Isabelle bestehende Technologie studieren & 4 \\ \hline
|
neuper@42070
|
18 |
05.08.2010 & Einarbeiten in Scala: Unterschiede zu Java indentifizieren & 1 \\ \hline
|
neuper@42070
|
19 |
06.08.2010 & Einarbeiten in Scala: Unterschiede zu Java indentifizieren, erste Beispielfiles & 4 \\ \hline
|
neuper@42070
|
20 |
08.08.2010 & Einarbeiten in Scala: funktionale Seite von Scala & 2 \\ \hline
|
neuper@42070
|
21 |
09.08.2010 & Einarbeiten in Scala: Testfiles mit Scala-Swing & 5 \\ \hline
|
neuper@42070
|
22 |
12.08.2010 & Studieren von Papers zu Scala Actors & 3 \\ \hline
|
neuper@42070
|
23 |
24.09.2010 & Scala: Arbeiten mit Klassen und Schnittstellen & 3 \\ \hline
|
neuper@42070
|
24 |
25.09.2010 & Scala: Experimente mit Java in Scala-Source & 6 \\ \hline
|
neuper@42070
|
25 |
27.09.2010 & Scala: Testfiles zu "Funktional vs Imperativ" & 4 \\ \hline \hline
|
neuper@42070
|
26 |
& Anzahl der Einheiten & 44 \\
|
neuper@42070
|
27 |
\hline
|
neuper@42070
|
28 |
\end{tabular}
|
neuper@42070
|
29 |
|
neuper@42070
|
30 |
|
neuper@42070
|
31 |
\section{Technische Voraussetzungen hergestellt: beendet am 02.08.2010}
|
neuper@42070
|
32 |
\begin{itemize}
|
neuper@42070
|
33 |
\item Isabelle installiert, Filestruktur bekannt: beendet am 02.08.2010
|
neuper@42070
|
34 |
\item Scala in NetBeans eingebunden: beendet am 22.07.2010
|
neuper@42070
|
35 |
\item Mercurial installiert und einrichten des Repositories: beendet am 19.07.2010
|
neuper@42070
|
36 |
\end{itemize}
|
neuper@42070
|
37 |
\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
|
neuper@42070
|
38 |
\hline
|
neuper@42070
|
39 |
Datum & T\"atigkeit & Einheiten \\ \hline
|
neuper@42070
|
40 |
19.07.2010 & Beginn der Installationsarbeiten: Repo klonen und testen & 6 \\ \hline
|
neuper@42070
|
41 |
20.07.2010 & Installationsarbeiten, Einarbeiten in Filestruktur & 7 \\ \hline
|
neuper@42070
|
42 |
21.07.2010 & Einarbeiten in Filestruktur & 6 \\ \hline
|
neuper@42070
|
43 |
22.07.2010 & Vorbereitungen: NetBeans, JDK und Scala installieren. Scala in NetBeans integrieren & 8 \\ \hline
|
neuper@42070
|
44 |
23.07.2010 & Isabelle-jEdit-Plugin mittels NetBeans ausf\"{u}hren: testen & 5 \\ \hline
|
neuper@42070
|
45 |
27.07.2010 & Isabelle-jEdit-Plugin: \"{a}nderungen an der Projektstruktur & 7 \\ \hline
|
neuper@42070
|
46 |
28.07.2010 & Experimente mit Isabelle-jEdit-Plugin & 6 \\ \hline
|
neuper@42070
|
47 |
29.07.2010 & Identifikations der Parse-Einstiegsstelle & 5 \\ \hline
|
neuper@42070
|
48 |
30.07.2010 & Experimente mit Isabelle-jEdit-Plugin, Besprechung \"{u}ber Erfahrungen mit Filestruktur & 4 \\ \hline
|
neuper@42070
|
49 |
02.08.2010 & Installationen und einrichten des Repos auf meinen Laptop & 6 \\ \hline \hline
|
neuper@42070
|
50 |
& Anzahl der Einheiten & 60 \\
|
neuper@42070
|
51 |
\hline
|
neuper@42070
|
52 |
\end{tabular}
|
neuper@42070
|
53 |
|
neuper@42070
|
54 |
\section{NetBeans-Projekt aufgesetzt: beendet am 02.08.2010}
|
neuper@42070
|
55 |
\begin{itemize}
|
neuper@42070
|
56 |
\item Grundlegende Projektstruktur f\"ur ISAC hergestellt: beendet am 02.08.2010
|
neuper@42070
|
57 |
\item jEdit-Plugin: XML-Files f\"{u}r ISAC vorbereitet: beendet am 22.07.2010
|
neuper@42070
|
58 |
\item jEdit-Plugin: Source files geschrieben: beendet am 19.07.2010
|
neuper@42070
|
59 |
\end{itemize}
|
neuper@42070
|
60 |
\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
|
neuper@42070
|
61 |
\hline
|
neuper@42070
|
62 |
Datum & T\"atigkeit & Einheiten \\ \hline
|
neuper@42070
|
63 |
10.08.2010 & Projektstruktur anlegen, build.xml anpassen & 7 \\ \hline
|
neuper@42070
|
64 |
11.08.2010 & jEdit-Plugin-Struktur studieren: Howto durcharbeiten & 5 \\ \hline
|
neuper@42070
|
65 |
21.08.2010 & bestehende jEdit-Plugins (Java) durcharbeiten & 3 \\ \hline
|
neuper@42070
|
66 |
22.08.2010 & Kopieren des Isabelle-jEdit-Plugins, Umarbeiten f\"{u}r ISAC & 3 \\ \hline
|
neuper@42070
|
67 |
24.08.2010 & Umarbeiten des Isabelle-Plugins f\"{u}r ISAC & 6 \\ \hline
|
neuper@42070
|
68 |
26.08.2010 & Problem mit Isabelle-Umgebungsvariable: Suche nach L\"{o}sungen & 3 \\ \hline
|
neuper@42070
|
69 |
28.08.2010 & Recherchen zum Umgebungsvariable-Problem, Arbeiten mit den Isabelle-Shell-Skripts & 2 \\ \hline
|
neuper@42070
|
70 |
29.08.2010 & Experimente mit den Path-Varialbe der jvm & 3 \\ \hline
|
neuper@42070
|
71 |
30.08.2010 & Isabelle-jEdit-Plugin endlich vollst\"{a}ndig lauff\"{a}hig gebracht & 4 \\ \hline
|
neuper@42070
|
72 |
01.09.2010 & Arbeiten an der jEdit-ISAC-Projektstruktur & 3 \\ \hline
|
neuper@42070
|
73 |
04.09.2010 & Umarbeiten des Isabelle-Plugins f\"{u}r ISAC & 5 \\ \hline
|
neuper@42070
|
74 |
20.09.2010 & Einrichten des Laptops f\"{u}r Isabelle-Isac & 4 \\ \hline
|
neuper@42070
|
75 |
22.09.2010 & Meeting: Fortschrittsbericht, kurze Einf\"{u}hrung f\"{u}r Mitstreiter & 3 \\ \hline
|
neuper@42070
|
76 |
|
neuper@42070
|
77 |
29.09.2010 & Neue Vorgehensweise: QuickNotepad-Plugin(QN) wird in Scala \"{u}bersetzt und f\"{u}r ISAC entsprechend angepasst: Arbeit an den XML-Files & 4 \\ \hline
|
neuper@42070
|
78 |
30.09.2010 & QN: Start mit \"{u}bersetzten der Sourcefiles & 5 \\ \hline
|
neuper@42070
|
79 |
02.10.2010 & QN: \"{U}bersetzten der Sourcefiles & 6 \\ \hline
|
neuper@42070
|
80 |
04.10.2010 & QN: \"{U}bersetzten der Sourcefiles: Problem bei Interface & 3 \\ \hline
|
neuper@42070
|
81 |
05.10.2010 & QN: QN vollst\"andig in Scala \"{u}bersetzt, testen & 2 \\ \hline \hline
|
neuper@42070
|
82 |
& Anzahl der Einheiten & 71 \\
|
neuper@42070
|
83 |
\hline
|
neuper@42070
|
84 |
\end{tabular}
|
neuper@42070
|
85 |
|
neuper@42070
|
86 |
\section{Experimentelle Parser implementiert: beendet am 04.03.2011}
|
neuper@42070
|
87 |
\begin{itemize}
|
neuper@42070
|
88 |
\item Experimente mit dem SideKick-Parser abgeschlossen: beendet am 03.02.2011
|
neuper@42070
|
89 |
\item Verbindung zu Isabelle-Pure hergestellt: beendet am 04.03.2011
|
neuper@42070
|
90 |
\item Implementierung des Scala-Parsers: aufgeschoben
|
neuper@42070
|
91 |
\end{itemize}
|
neuper@42070
|
92 |
\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
|
neuper@42070
|
93 |
\hline
|
neuper@42070
|
94 |
Datum & T\"atigkeit & Einheiten \\ \hline
|
neuper@42070
|
95 |
28.01.2011 & Testen des SideKick-Parsers im Isabelle-Plugin & 2 \\ \hline
|
neuper@42070
|
96 |
29.01.2011 & Leichte Modifikationen des SideKick-Parsers im Isabelle-Plugin & 1 \\ \hline
|
neuper@42070
|
97 |
08.02.2011 & Besprechung zum Abschluss der praktischen Arbeiten & 1 \\ \hline
|
neuper@42070
|
98 |
16.02.2011 & Erstellen des Isabelle-Pur jar-Files & 1 \\ \hline
|
neuper@42070
|
99 |
19.02.2011 & Behebung des Problems mit den Umgebungsvariablen & 1 \\ \hline
|
neuper@42070
|
100 |
03.03.2011 & Erzeugung des Pure.jar Package m\"{o}glich & 2 \\ \hline
|
neuper@42070
|
101 |
04.04.2011 & Verbindung zwischen Plugin und Isabelle-Pure hergestellt und getestet & 3 \\ \hline
|
neuper@42070
|
102 |
08.04.2011 & Besprechung: Implementierung des experimentellen Parsers wird nicht mehr durchgef\"{u}hrt & 1 \\ \hline \hline
|
neuper@42070
|
103 |
& Anzahl der Einheiten & 12 \\
|
neuper@42070
|
104 |
\hline
|
neuper@42070
|
105 |
\end{tabular}
|
neuper@42070
|
106 |
|
neuper@42072
|
107 |
\section{Verfassen der Dokumentation und abschliesende Arbeiten: beendet am 30.Juni 2011}
|
neuper@42070
|
108 |
\begin{itemize}
|
neuper@42070
|
109 |
\item Bacc.-Protokoll fertiggestellt: beendet am 01.03.2011
|
neuper@42070
|
110 |
\item Dokumentation: erste Version fertiggestellt: beendet am 28.04.2011
|
neuper@42072
|
111 |
\item Dokumentation abgeschlossen: beendet am 30.Juni 2011
|
neuper@42070
|
112 |
\end{itemize}
|
neuper@42070
|
113 |
\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
|
neuper@42070
|
114 |
\hline
|
neuper@42070
|
115 |
Datum & T\"atigkeit & Einheiten \\ \hline
|
neuper@42070
|
116 |
01.03.2011 & Besprechung zum Ablauf der Dokumentationsarbeiten: Protokoll und Dokumentation & 1 \\ \hline
|
neuper@42070
|
117 |
01.03.2011 & Erstellen des Protokolls & 2 \\ \hline
|
neuper@42070
|
118 |
08.03.2011 & Besprechung zur Doku und zur Schnittstelle zu Isabelle-Pure & 1 \\ \hline
|
neuper@42070
|
119 |
17.03.2011 & Dokumentation schreiben & 2 \\ \hline
|
neuper@42070
|
120 |
19.03.2011 & Dokumentation schreiben & 3 \\ \hline
|
neuper@42070
|
121 |
24.04.2011 & Dokumentation schreiben & 2 \\ \hline
|
neuper@42070
|
122 |
25.04.2011 & Dokumentation schreiben & 4 \\ \hline
|
neuper@42070
|
123 |
27.04.2011 & Dokumentation schreiben & 2 \\ \hline
|
neuper@42070
|
124 |
28.04.2011 & Dokumentation: Fertigstellen der ersten Version & 3 \\ \hline \hline
|
neuper@42070
|
125 |
& Anzahl der Einheiten & 20 \\
|
neuper@42070
|
126 |
\hline
|
neuper@42070
|
127 |
\end{tabular}
|
neuper@42070
|
128 |
|
neuper@42070
|
129 |
\section{Pr\"asentation der Arbeit im IST-Seminar: beendet am 21.06.2011}
|
neuper@42070
|
130 |
\begin{itemize}
|
neuper@42070
|
131 |
\item Pr\"asentation fertiggestellt: beendet am 19.06.2011
|
neuper@42070
|
132 |
\item Pr\"asentation: abgehalten am 21.06.2011
|
neuper@42070
|
133 |
\end{itemize}
|
neuper@42070
|
134 |
\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
|
neuper@42070
|
135 |
\hline
|
neuper@42070
|
136 |
Datum & T\"atigkeit & Einheiten \\ \hline
|
neuper@42070
|
137 |
06.06.2011 & Planung der Pr\"asentation & 2 \\ \hline
|
neuper@42070
|
138 |
16.06.2011 & Verfassen der Pr\"asentation & 2 \\ \hline
|
neuper@42070
|
139 |
18.06.2011 & Verfassen der Pr\"asentation & 3 \\ \hline
|
neuper@42070
|
140 |
19.06.2011 & Pr\"asentation: Feinschliff & 2 \\ \hline
|
neuper@42070
|
141 |
20.06.2011 & Vorbereiten der Pr\"asentation& 3 \\ \hline
|
neuper@42070
|
142 |
21.06.2011 & Abhaltung und nachfolgende Diskussion & 1 \\ \hline \hline
|
neuper@42070
|
143 |
& Anzahl der Einheiten & 13 \\
|
neuper@42070
|
144 |
\hline
|
neuper@42070
|
145 |
\end{tabular}
|
neuper@42070
|
146 |
|
neuper@42070
|
147 |
\chapter{Filestruktur Isabelle}
|
neuper@42070
|
148 |
\section{jar-Packete}
|
neuper@42070
|
149 |
\textbf{----- for "isabelle jedit \&"; contained in Isabelle\_bundle} \\
|
neuper@42070
|
150 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jedit.jar \\
|
neuper@42070
|
151 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/LatestVersion.jar \\
|
neuper@42070
|
152 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/SideKick.jar \\
|
neuper@42070
|
153 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Console.jar \\
|
neuper@42070
|
154 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Pure.jar \\
|
neuper@42070
|
155 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Isac.jar \\
|
neuper@42070
|
156 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-compiler.jar \\
|
neuper@42070
|
157 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Isabelle-jEdit.jar \\
|
neuper@42070
|
158 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/cobra.jar \\
|
neuper@42070
|
159 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/js.jar \\
|
neuper@42070
|
160 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Hyperlinks.jar \\
|
neuper@42070
|
161 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-swing.jar \\
|
neuper@42070
|
162 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-library.jar \\
|
neuper@42070
|
163 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/QuickNotepad.jar \\
|
neuper@42070
|
164 |
./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/ErrorList.jar \\
|
neuper@42070
|
165 |
\textbf{----- scala system; contained in Isabelle\_bundle} \\
|
neuper@42070
|
166 |
./contrib/scala-2.8.1.final/misc/sbaz/scala-bazaars.jar \\
|
neuper@42070
|
167 |
./contrib/scala-2.8.1.final/misc/sbaz/sbaz-tests.jar \\
|
neuper@42070
|
168 |
./contrib/scala-2.8.1.final/misc/scala-devel/plugins/continuations.jar \\
|
neuper@42070
|
169 |
./contrib/scala-2.8.1.final/lib/scala-compiler.jar \\
|
neuper@42070
|
170 |
./contrib/scala-2.8.1.final/lib/scalap.jar \\
|
neuper@42070
|
171 |
./contrib/scala-2.8.1.final/lib/scala-swing.jar \\
|
neuper@42070
|
172 |
./contrib/scala-2.8.1.final/lib/scala-library.jar \\
|
neuper@42070
|
173 |
./contrib/scala-2.8.1.final/lib/jline.jar \\
|
neuper@42070
|
174 |
./contrib/scala-2.8.1.final/lib/scala-dbc.jar \\
|
neuper@42070
|
175 |
./contrib/scala-2.8.1.final/src/scala-library-src.jar \\
|
neuper@42070
|
176 |
./contrib/scala-2.8.1.final/src/scala-swing-src.jar \\
|
neuper@42070
|
177 |
./contrib/scala-2.8.1.final/src/scala-compiler-src.jar \\
|
neuper@42070
|
178 |
./contrib/scala-2.8.1.final/src/scala-dbc-src.jar \\
|
neuper@42070
|
179 |
./contrib/scala-2.8.1.final/src/sbaz-src.jar \\
|
neuper@42070
|
180 |
\textbf{----- Isars entry to SML from Scala-layer; } \\
|
neuper@42070
|
181 |
\textit{created according to 4.3.\#3 }\\
|
neuper@42070
|
182 |
./lib/classes/isabelle-scala.jar \\
|
neuper@42070
|
183 |
./lib/classes/Pure.jar \\\\
|
neuper@42070
|
184 |
\textit{\textbf{===== all below for NetBeans}} \\\\
|
neuper@42070
|
185 |
\textbf{----- standard Isabelle, started by $<RUN>$ in NetBeans} \\
|
neuper@42070
|
186 |
\textit{description in 2.2.2} \\
|
neuper@42070
|
187 |
./src/Tools/jEdit/dist/jars/jedit.jar \\
|
neuper@42070
|
188 |
./src/Tools/jEdit/dist/jars/SideKick.jar \\
|
neuper@42070
|
189 |
./src/Tools/jEdit/dist/jars/Console.jar \\
|
neuper@42070
|
190 |
./src/Tools/jEdit/dist/jars/Pure.jar \\
|
neuper@42070
|
191 |
./src/Tools/jEdit/dist/jars/scala-compiler.jar \\
|
neuper@42070
|
192 |
./src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar \\
|
neuper@42070
|
193 |
./src/Tools/jEdit/dist/jars/cobra.jar \\
|
neuper@42070
|
194 |
./src/Tools/jEdit/dist/jars/js.jar \\
|
neuper@42070
|
195 |
./src/Tools/jEdit/dist/jars/Hyperlinks.jar \\
|
neuper@42070
|
196 |
./src/Tools/jEdit/dist/jars/scala-swing.jar \\
|
neuper@42070
|
197 |
./src/Tools/jEdit/dist/jars/scala-library.jar \\
|
neuper@42070
|
198 |
./src/Tools/jEdit/dist/jars/ErrorList.jar \\
|
neuper@42070
|
199 |
\textbf{----- source of jEdit, required for $<DEBUG>$ in NetBeans; \\}
|
neuper@42070
|
200 |
adapted from NetBeans' webpages, \\
|
neuper@42070
|
201 |
\textit{description in 2.2.3.\#5} \\
|
neuper@42070
|
202 |
./src/Tools/jEditC/contrib/jEdit/build/jars/SideKick.jar \\
|
neuper@42070
|
203 |
./src/Tools/jEditC/contrib/jEdit/build/jars/Console.jar \\
|
neuper@42070
|
204 |
./src/Tools/jEditC/contrib/jEdit/build/jars/Pure.jar \\
|
neuper@42070
|
205 |
./src/Tools/jEditC/contrib/jEdit/build/jars/Isac.jar \\
|
neuper@42070
|
206 |
./src/Tools/jEditC/contrib/jEdit/build/jars/QuickNPScala.jar \\
|
neuper@42070
|
207 |
./src/Tools/jEditC/contrib/jEdit/build/jars/scala-compiler.jar \\
|
neuper@42070
|
208 |
./src/Tools/jEditC/contrib/jEdit/build/jars/Isabelle-jEdit.jar \\
|
neuper@42070
|
209 |
./src/Tools/jEditC/contrib/jEdit/build/jars/cobra.jar \\
|
neuper@42070
|
210 |
./src/Tools/jEditC/contrib/jEdit/build/jars/js.jar \\
|
neuper@42070
|
211 |
./src/Tools/jEditC/contrib/jEdit/build/jars/Hyperlinks.jar \\
|
neuper@42070
|
212 |
./src/Tools/jEditC/contrib/jEdit/build/jars/scala-swing.jar \\
|
neuper@42070
|
213 |
./src/Tools/jEditC/contrib/jEdit/build/jars/scala-library.jar \\
|
neuper@42070
|
214 |
./src/Tools/jEditC/contrib/jEdit/build/jars/ErrorList.jar \\
|
neuper@42070
|
215 |
./src/Tools/jEditC/contrib/jEdit/build/jEdit.jar \\
|
neuper@42070
|
216 |
\textbf{----- demo plugin, started by $<RUN>$ in NetBeans \\}
|
neuper@42070
|
217 |
\textit{description in 2.2.3.\#4} \\
|
neuper@42070
|
218 |
./src/Tools/jEditC/dist/jars/SideKick.jar \\
|
neuper@42070
|
219 |
./src/Tools/jEditC/dist/jars/Console.jar \\
|
neuper@42070
|
220 |
./src/Tools/jEditC/dist/jars/Pure.jar \\
|
neuper@42070
|
221 |
./src/Tools/jEditC/dist/jars/Isac.jar \\
|
neuper@42070
|
222 |
./src/Tools/jEditC/dist/jars/scala-compiler.jar \\
|
neuper@42070
|
223 |
./src/Tools/jEditC/dist/jars/cobra.jar \\
|
neuper@42070
|
224 |
./src/Tools/jEditC/dist/jars/js.jar \\
|
neuper@42070
|
225 |
./src/Tools/jEditC/dist/jars/Hyperlinks.jar \\
|
neuper@42070
|
226 |
./src/Tools/jEditC/dist/jars/scala-swing.jar \\
|
neuper@42070
|
227 |
./src/Tools/jEditC/dist/jars/scala-library.jar \\
|
neuper@42070
|
228 |
./src/Tools/jEditC/dist/jars/ErrorList.jar \\
|
neuper@42070
|
229 |
|
neuper@42070
|
230 |
\section{Scala-Files: Isabelle-Pure}
|
neuper@42070
|
231 |
\textbf{General:}\\
|
neuper@42070
|
232 |
./src/Pure/General/xml.scala\\
|
neuper@42070
|
233 |
./src/Pure/General/linear\_set.scala\\
|
neuper@42070
|
234 |
./src/Pure/General/symbol.scala\\
|
neuper@42070
|
235 |
./src/Pure/General/exn.scala\\
|
neuper@42070
|
236 |
./src/Pure/General/position.scala\\
|
neuper@42070
|
237 |
./src/Pure/General/scan.scala\\
|
neuper@42070
|
238 |
./src/Pure/General/xml\_data.scala\\
|
neuper@42070
|
239 |
./src/Pure/General/yxml.scala\\
|
neuper@42070
|
240 |
./src/Pure/General/markup.scala\\
|
neuper@42070
|
241 |
./src/Pure/General/sha1.scala\\
|
neuper@42070
|
242 |
./src/Pure/General/timing.scala\\
|
neuper@42070
|
243 |
./src/Pure/General/pretty.scala\\
|
neuper@42070
|
244 |
\textbf{Concurent:}\\
|
neuper@42070
|
245 |
./src/Pure/Concurrent/volatile.scala\\
|
neuper@42070
|
246 |
./src/Pure/Concurrent/future.scala\\
|
neuper@42070
|
247 |
./src/Pure/Concurrent/simple\_thread.scala\\
|
neuper@42070
|
248 |
\textbf{Thy:}\\
|
neuper@42070
|
249 |
./src/Pure/Thy/html.scala\\
|
neuper@42070
|
250 |
./src/Pure/Thy/completion.scala\\
|
neuper@42070
|
251 |
./src/Pure/Thy/thy\_header.scala\\
|
neuper@42070
|
252 |
./src/Pure/Thy/thy\_syntax.scala\\
|
neuper@42070
|
253 |
./src/Pure/Isac/isac.scala\\
|
neuper@42070
|
254 |
./src/Pure/library.scala\\
|
neuper@42070
|
255 |
\textbf{Isar:}\\
|
neuper@42070
|
256 |
./src/Pure/Isar/keyword.scala\\
|
neuper@42070
|
257 |
./src/Pure/Isar/outer\_syntax.scala\\
|
neuper@42070
|
258 |
./src/Pure/Isar/token.scala\\
|
neuper@42070
|
259 |
./src/Pure/Isar/parse.scala\\
|
neuper@42070
|
260 |
\textbf{Isac:}\\
|
neuper@42070
|
261 |
\textit{./src/Pure/Isac/isac.scala}\\
|
neuper@42070
|
262 |
\textbf{System:}\\
|
neuper@42070
|
263 |
./src/Pure/System/gui\_setup.scala\\
|
neuper@42070
|
264 |
./src/Pure/System/isabelle\_system.scala\\
|
neuper@42070
|
265 |
./src/Pure/System/swing\_thread.scala\\
|
neuper@42070
|
266 |
./src/Pure/System/download.scala\\
|
neuper@42070
|
267 |
./src/Pure/System/session\_manager.scala\\
|
neuper@42070
|
268 |
./src/Pure/System/standard\_system.scala\\
|
neuper@42070
|
269 |
./src/Pure/System/isabelle\_syntax.scala\\
|
neuper@42070
|
270 |
./src/Pure/System/session.scala\\
|
neuper@42070
|
271 |
./src/Pure/System/platform.scala\\
|
neuper@42070
|
272 |
./src/Pure/System/cygwin.scala\\
|
neuper@42070
|
273 |
./src/Pure/System/event\_bus.scala\\
|
neuper@42070
|
274 |
./src/Pure/System/isabelle\_process.scala\\
|
neuper@42070
|
275 |
\textbf{PIDE}\\
|
neuper@42070
|
276 |
./src/Pure/PIDE/document.scala\\
|
neuper@42070
|
277 |
./src/Pure/PIDE/markup\_tree.scala\\
|
neuper@42070
|
278 |
./src/Pure/PIDE/text.scala\\
|
neuper@42070
|
279 |
./src/Pure/PIDE/command.scala\\
|
neuper@42070
|
280 |
./src/Pure/PIDE/isar\_document.scala \\
|
neuper@42070
|
281 |
|
neuper@42070
|
282 |
|
neuper@42070
|
283 |
\chapter{Das Skript \textit{isac\_jedit}}
|
neuper@42070
|
284 |
|
neuper@42070
|
285 |
\textit{
|
neuper@42070
|
286 |
\#$!$/usr/bin/env bash
|
neuper@42070
|
287 |
cd src/Pure/ \\
|
neuper@42070
|
288 |
echo "Building Pure.jar" \\
|
neuper@42070
|
289 |
../../bin/isabelle env ./build-jars \\
|
neuper@42070
|
290 |
echo "copying Pure.jar to contrib/jedit" \\
|
neuper@42070
|
291 |
cp ../../lib/classes/Pure.jar ../../contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/ \\
|
neuper@42070
|
292 |
echo "Building Isac.jar" \\
|
neuper@42070
|
293 |
cd /home/gadei/isac/isa/src/Tools/jEditC \\
|
neuper@42070
|
294 |
ant jar \\
|
neuper@42070
|
295 |
cd /home/gadei/isac/isa/src/Pure/ \\
|
neuper@42070
|
296 |
echo "copying Isac.jar to contrib/jedit" \\
|
neuper@42070
|
297 |
cp ../Tools/jEditC/contrib/jEdit/build/jars/Isac.jar ../../contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/ \\
|
neuper@42070
|
298 |
echo "Done!" \\
|
neuper@42070
|
299 |
}
|
neuper@42070
|
300 |
|
neuper@42072
|
301 |
\chapter{Filestruktur f\"ur die Entwicklung des SD-Plugins}\label{files-SD-plugin}
|
neuper@42070
|
302 |
|
neuper@42072
|
303 |
\textbf{src/Tools/jEditC/}build.xml\\
|
neuper@42072
|
304 |
\textbf{src/Tools/jEditC/}makedist\\
|
neuper@42072
|
305 |
\textbf{src/Tools/jEditC/}manifest.mf\\
|
neuper@42072
|
306 |
\textbf{src/Tools/jEditC/}README\_BUILD\\
|
neuper@42072
|
307 |
\textbf{src/Tools/jEditC/build/*}\\
|
neuper@42072
|
308 |
\textbf{src/Tools/jEditC/contrib/*}\\
|
neuper@42072
|
309 |
\textbf{src/Tools/jEditC/dist/*}\\
|
neuper@42072
|
310 |
\textbf{src/Tools/jEditC/plugin/}build.xml\\
|
neuper@42072
|
311 |
\textbf{src/Tools/jEditC/plugin/}changes40.txt\\
|
neuper@42072
|
312 |
\textbf{src/Tools/jEditC/plugin/}changes42.txt\\
|
neuper@42072
|
313 |
\textbf{src/Tools/jEditC/plugin/}description.html\\
|
neuper@42072
|
314 |
\textbf{src/Tools/jEditC/plugin/}testSDActions.java\\
|
neuper@42072
|
315 |
\textbf{src/Tools/jEditC/plugin/}testSD.iml\\
|
neuper@42072
|
316 |
\textbf{src/Tools/jEditC/plugin/}testSD.java\\
|
neuper@42072
|
317 |
\textbf{src/Tools/jEditC/plugin/}testSDOptionPane.java\\
|
neuper@42072
|
318 |
\textbf{src/Tools/jEditC/plugin/}testSDPlugin.java\\
|
neuper@42072
|
319 |
\textbf{src/Tools/jEditC/plugin/}testSDTextArea.java\\
|
neuper@42072
|
320 |
\textbf{src/Tools/jEditC/plugin/}testSDToolPanel.java\\
|
neuper@42072
|
321 |
\textbf{src/Tools/jEditC/plugin/}plugin\\
|
neuper@42072
|
322 |
\textbf{src/Tools/jEditC/plugin/}README.txt\\
|
neuper@42072
|
323 |
\textbf{src/Tools/jEditC/nbproject/*}\\
|
neuper@42072
|
324 |
\textbf{src/Tools/jEditC/src/}actions.xml\\
|
neuper@42072
|
325 |
\textbf{src/Tools/jEditC/src/}changes40.txt\\
|
neuper@42072
|
326 |
\textbf{src/Tools/jEditC/src/}changes42.txt\\
|
neuper@42072
|
327 |
\textbf{src/Tools/jEditC/src/}description.html\\
|
neuper@42072
|
328 |
\textbf{src/Tools/jEditC/src/}dockables.xml\\
|
neuper@42072
|
329 |
\textbf{src/Tools/jEditC/src/}testSDActions.scala\\
|
neuper@42072
|
330 |
\textbf{src/Tools/jEditC/src/}testSD.iml\\
|
neuper@42072
|
331 |
\textbf{src/Tools/jEditC/src/}testSDOptionPane.scala\\
|
neuper@42072
|
332 |
\textbf{src/Tools/jEditC/src/}testSDPlugin.scala\\
|
neuper@42072
|
333 |
\textbf{src/Tools/jEditC/src/}testSD.props\\
|
neuper@42072
|
334 |
\textbf{src/Tools/jEditC/src/}testSD.scala\\
|
neuper@42072
|
335 |
\textbf{src/Tools/jEditC/src/}testSDTextArea.scala\\
|
neuper@42072
|
336 |
\textbf{src/Tools/jEditC/src/}testSDToolPanel.scala\\
|
neuper@42072
|
337 |
\textbf{src/Tools/jEditC/src/}manifest.mf\\
|
neuper@42072
|
338 |
\textbf{src/Tools/jEditC/src/}README.txt\\
|
neuper@42072
|
339 |
\textbf{src/Tools/jEditC/src/}users-guide.xml \\ |