1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-isac/msteger/bakk-arbeit/thesis-appendix.tex	Tue Sep 17 09:50:52 2013 +0200
     1.3 @@ -0,0 +1,339 @@
     1.4 +\chapter{Milestones und Arbeitsprotokolle}\label{milestones} %\ref doesnt work outside this file ?!?
     1.5 +\section{Inhaltliche Voraussetzungen erarbeitet: beendet am 27.09.2010} 
     1.6 +\begin{itemize}
     1.7 +\item Kenntnis der Grundlagen und Anwendung von CTP: beendet am 03.08.2010 
     1.8 +\item Charakteristika der Programmsprache Scala: beendet am 27.09.2010
     1.9 +\item Scala Actors: beendet am 12.08.2010
    1.10 +\end{itemize}
    1.11 +\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
    1.12 +\hline
    1.13 +Datum & T\"atigkeit & Einheiten \\ \hline
    1.14 +12.07.2010 & Meeting: erste Besprechung und Erkl\"{a}rungen zu Isabelle, Isac und CTPs & 2 \\ \hline
    1.15 +15.07.2010 & Recherche \"{u}ber Isabelle und CTPs & 3 \\ \hline
    1.16 +20.07.2010 & Meeting: Besprechen der grunds\"{a}tzlichen Vorgangsweise und Ziele & 1 \\ \hline
    1.17 +23.07.2010 & Isabelle: Ziele, Techniken (ML) und Zusammenh\"{a}nge mit Isac abkl\"{a}ren & 1 \\ \hline 
    1.18 +30.07.2010 & Ende der Einarbeitungstage: weitere Vorgensweise \"{u}ber Backs 'structured derivations'; Begriffserkl\"{a}rung & 3 \\ \hline
    1.19 +01.08.2010 & Recherche: Buch f\"{u}r Scala & 2 \\ \hline
    1.20 +03.08.2010 & Isabelle bestehende Technologie studieren & 4 \\ \hline
    1.21 +05.08.2010 & Einarbeiten in Scala: Unterschiede zu Java indentifizieren & 1  \\ \hline
    1.22 +06.08.2010 & Einarbeiten in Scala: Unterschiede zu Java indentifizieren, erste Beispielfiles & 4 \\ \hline
    1.23 +08.08.2010 & Einarbeiten in Scala: funktionale Seite von Scala & 2 \\ \hline
    1.24 +09.08.2010 & Einarbeiten in Scala: Testfiles mit Scala-Swing & 5 \\ \hline
    1.25 +12.08.2010 & Studieren von Papers zu Scala Actors & 3 \\ \hline
    1.26 +24.09.2010 & Scala: Arbeiten mit Klassen und Schnittstellen & 3 \\ \hline
    1.27 +25.09.2010 & Scala: Experimente mit Java in Scala-Source & 6 \\ \hline
    1.28 +27.09.2010 & Scala: Testfiles zu "Funktional vs Imperativ" & 4 \\ \hline \hline
    1.29 + & Anzahl der Einheiten & 44 \\
    1.30 +\hline
    1.31 +\end{tabular}
    1.32 +
    1.33 +
    1.34 +\section{Technische Voraussetzungen hergestellt: beendet am 02.08.2010}
    1.35 +\begin{itemize}
    1.36 +\item Isabelle installiert, Filestruktur bekannt: beendet am 02.08.2010
    1.37 +\item Scala in NetBeans eingebunden: beendet am 22.07.2010
    1.38 +\item Mercurial installiert und einrichten des Repositories: beendet am 19.07.2010 
    1.39 +\end{itemize}
    1.40 +\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
    1.41 +\hline
    1.42 +Datum & T\"atigkeit & Einheiten \\ \hline
    1.43 +19.07.2010 & Beginn der Installationsarbeiten: Repo klonen und testen & 6 \\ \hline
    1.44 +20.07.2010 & Installationsarbeiten, Einarbeiten in Filestruktur & 7 \\ \hline
    1.45 +21.07.2010 & Einarbeiten in Filestruktur & 6 \\ \hline
    1.46 +22.07.2010 & Vorbereitungen: NetBeans, JDK und Scala installieren. Scala in NetBeans integrieren & 8 \\ \hline
    1.47 +23.07.2010 & Isabelle-jEdit-Plugin mittels NetBeans ausf\"{u}hren: testen & 5 \\ \hline 
    1.48 +27.07.2010 & Isabelle-jEdit-Plugin: \"{a}nderungen an der Projektstruktur & 7 \\ \hline
    1.49 +28.07.2010 & Experimente mit Isabelle-jEdit-Plugin & 6 \\ \hline
    1.50 +29.07.2010 & Identifikations der Parse-Einstiegsstelle & 5 \\ \hline
    1.51 +30.07.2010 & Experimente mit Isabelle-jEdit-Plugin, Besprechung \"{u}ber Erfahrungen mit Filestruktur & 4 \\ \hline
    1.52 +02.08.2010 & Installationen und einrichten des Repos auf meinen Laptop & 6 \\ \hline \hline
    1.53 + & Anzahl der Einheiten & 60 \\
    1.54 +\hline
    1.55 +\end{tabular}
    1.56 +
    1.57 +\section{NetBeans-Projekt aufgesetzt: beendet am 02.08.2010} 
    1.58 +\begin{itemize}
    1.59 +\item Grundlegende Projektstruktur f\"ur ISAC hergestellt: beendet am 02.08.2010
    1.60 +\item jEdit-Plugin: XML-Files f\"{u}r ISAC vorbereitet: beendet am 22.07.2010
    1.61 +\item jEdit-Plugin: Source files geschrieben: beendet am 19.07.2010 
    1.62 +\end{itemize}
    1.63 +\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
    1.64 +\hline
    1.65 +Datum & T\"atigkeit & Einheiten \\ \hline
    1.66 +10.08.2010 & Projektstruktur anlegen, build.xml anpassen & 7 \\ \hline
    1.67 +11.08.2010 & jEdit-Plugin-Struktur studieren: Howto durcharbeiten & 5 \\ \hline
    1.68 +21.08.2010 & bestehende jEdit-Plugins (Java) durcharbeiten & 3 \\ \hline
    1.69 +22.08.2010 & Kopieren des Isabelle-jEdit-Plugins, Umarbeiten f\"{u}r ISAC & 3 \\ \hline
    1.70 +24.08.2010 & Umarbeiten des Isabelle-Plugins f\"{u}r ISAC & 6 \\ \hline 
    1.71 +26.08.2010 & Problem mit Isabelle-Umgebungsvariable: Suche nach L\"{o}sungen & 3 \\ \hline
    1.72 +28.08.2010 & Recherchen zum Umgebungsvariable-Problem, Arbeiten mit den Isabelle-Shell-Skripts & 2 \\ \hline
    1.73 +29.08.2010 & Experimente mit den Path-Varialbe der jvm & 3 \\ \hline
    1.74 +30.08.2010 & Isabelle-jEdit-Plugin endlich vollst\"{a}ndig lauff\"{a}hig gebracht & 4 \\ \hline
    1.75 +01.09.2010 & Arbeiten an der jEdit-ISAC-Projektstruktur & 3 \\ \hline
    1.76 +04.09.2010 & Umarbeiten des Isabelle-Plugins f\"{u}r ISAC & 5 \\ \hline 
    1.77 +20.09.2010 & Einrichten des Laptops f\"{u}r Isabelle-Isac & 4 \\ \hline 
    1.78 +22.09.2010 & Meeting: Fortschrittsbericht, kurze Einf\"{u}hrung f\"{u}r Mitstreiter & 3 \\ \hline
    1.79 +
    1.80 +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 
    1.81 +30.09.2010 & QN: Start mit \"{u}bersetzten der Sourcefiles & 5 \\ \hline
    1.82 +02.10.2010 & QN: \"{U}bersetzten der Sourcefiles & 6 \\ \hline
    1.83 +04.10.2010 & QN: \"{U}bersetzten der Sourcefiles: Problem bei Interface & 3 \\ \hline
    1.84 +05.10.2010 & QN: QN vollst\"andig in Scala \"{u}bersetzt, testen & 2 \\ \hline \hline
    1.85 + & Anzahl der Einheiten & 71 \\
    1.86 +\hline
    1.87 +\end{tabular}
    1.88 +
    1.89 +\section{Experimentelle Parser implementiert: beendet am 04.03.2011} 
    1.90 +\begin{itemize}
    1.91 +\item Experimente mit dem SideKick-Parser abgeschlossen: beendet am 03.02.2011
    1.92 +\item Verbindung zu Isabelle-Pure hergestellt: beendet am 04.03.2011
    1.93 +\item Implementierung des Scala-Parsers: aufgeschoben
    1.94 +\end{itemize}
    1.95 +\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
    1.96 +\hline
    1.97 +Datum & T\"atigkeit & Einheiten \\ \hline
    1.98 +28.01.2011 & Testen des SideKick-Parsers im Isabelle-Plugin & 2 \\ \hline
    1.99 +29.01.2011 & Leichte Modifikationen des SideKick-Parsers im Isabelle-Plugin & 1 \\ \hline
   1.100 +08.02.2011 & Besprechung zum Abschluss der praktischen Arbeiten & 1 \\ \hline
   1.101 +16.02.2011 & Erstellen des Isabelle-Pur jar-Files & 1 \\ \hline
   1.102 +19.02.2011 & Behebung des Problems mit den Umgebungsvariablen & 1 \\ \hline
   1.103 +03.03.2011 & Erzeugung des Pure.jar Package m\"{o}glich & 2 \\ \hline
   1.104 +04.04.2011 & Verbindung zwischen Plugin und Isabelle-Pure hergestellt und getestet  & 3 \\ \hline
   1.105 +08.04.2011 & Besprechung: Implementierung des experimentellen Parsers wird nicht mehr durchgef\"{u}hrt & 1 \\ \hline \hline
   1.106 + & Anzahl der Einheiten & 12 \\
   1.107 +\hline
   1.108 +\end{tabular}
   1.109 +
   1.110 +\section{Verfassen der Dokumentation und abschliesende Arbeiten: beendet am 30.Juni 2011}
   1.111 +\begin{itemize}
   1.112 +\item Bacc.-Protokoll fertiggestellt: beendet am 01.03.2011
   1.113 +\item Dokumentation: erste Version fertiggestellt: beendet am 28.04.2011
   1.114 +\item Dokumentation abgeschlossen: beendet am 30.Juni 2011 
   1.115 +\end{itemize}
   1.116 +\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
   1.117 +\hline
   1.118 +Datum & T\"atigkeit & Einheiten \\ \hline
   1.119 +01.03.2011 & Besprechung zum Ablauf der Dokumentationsarbeiten: Protokoll und Dokumentation & 1 \\ \hline
   1.120 +01.03.2011 & Erstellen des Protokolls & 2 \\ \hline
   1.121 +08.03.2011 & Besprechung zur Doku und zur Schnittstelle zu Isabelle-Pure & 1 \\ \hline
   1.122 +17.03.2011 & Dokumentation schreiben & 2 \\ \hline
   1.123 +19.03.2011 & Dokumentation schreiben & 3 \\ \hline
   1.124 +24.04.2011 & Dokumentation schreiben & 2 \\ \hline
   1.125 +25.04.2011 & Dokumentation schreiben & 4 \\ \hline
   1.126 +27.04.2011 & Dokumentation schreiben & 2 \\ \hline
   1.127 +28.04.2011 & Dokumentation: Fertigstellen der ersten Version & 3 \\ \hline \hline
   1.128 + & Anzahl der Einheiten & 20 \\
   1.129 +\hline
   1.130 +\end{tabular}
   1.131 +
   1.132 +\section{Pr\"asentation der Arbeit im IST-Seminar: beendet am 21.06.2011}
   1.133 +\begin{itemize}
   1.134 +\item Pr\"asentation fertiggestellt: beendet am 19.06.2011
   1.135 +\item Pr\"asentation: abgehalten am 21.06.2011
   1.136 +\end{itemize}
   1.137 +\begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|}
   1.138 +\hline
   1.139 +Datum & T\"atigkeit & Einheiten \\ \hline
   1.140 +06.06.2011 & Planung der Pr\"asentation & 2 \\ \hline
   1.141 +16.06.2011 & Verfassen der Pr\"asentation & 2 \\ \hline
   1.142 +18.06.2011 & Verfassen der Pr\"asentation & 3 \\ \hline
   1.143 +19.06.2011 & Pr\"asentation: Feinschliff & 2 \\ \hline
   1.144 +20.06.2011 & Vorbereiten der Pr\"asentation& 3 \\ \hline
   1.145 +21.06.2011 & Abhaltung und nachfolgende Diskussion & 1 \\ \hline \hline
   1.146 + & Anzahl der Einheiten & 13 \\
   1.147 + \hline
   1.148 +\end{tabular}
   1.149 +
   1.150 +\chapter{Filestruktur Isabelle}
   1.151 +\section{jar-Packete}
   1.152 +\textbf{----- for "isabelle jedit \&"; contained in Isabelle\_bundle} \\
   1.153 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jedit.jar \\
   1.154 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/LatestVersion.jar \\
   1.155 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/SideKick.jar \\
   1.156 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Console.jar  \\
   1.157 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Pure.jar  \\
   1.158 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Isac.jar \\
   1.159 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-compiler.jar \\
   1.160 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Isabelle-jEdit.jar \\
   1.161 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/cobra.jar \\
   1.162 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/js.jar \\
   1.163 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/Hyperlinks.jar \\
   1.164 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-swing.jar \\
   1.165 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/scala-library.jar \\
   1.166 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/QuickNotepad.jar \\
   1.167 +./contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/ErrorList.jar \\
   1.168 +\textbf{----- scala system; contained in Isabelle\_bundle} \\
   1.169 +./contrib/scala-2.8.1.final/misc/sbaz/scala-bazaars.jar \\
   1.170 +./contrib/scala-2.8.1.final/misc/sbaz/sbaz-tests.jar \\
   1.171 +./contrib/scala-2.8.1.final/misc/scala-devel/plugins/continuations.jar \\
   1.172 +./contrib/scala-2.8.1.final/lib/scala-compiler.jar \\
   1.173 +./contrib/scala-2.8.1.final/lib/scalap.jar \\
   1.174 +./contrib/scala-2.8.1.final/lib/scala-swing.jar \\
   1.175 +./contrib/scala-2.8.1.final/lib/scala-library.jar \\
   1.176 +./contrib/scala-2.8.1.final/lib/jline.jar \\
   1.177 +./contrib/scala-2.8.1.final/lib/scala-dbc.jar \\
   1.178 +./contrib/scala-2.8.1.final/src/scala-library-src.jar \\
   1.179 +./contrib/scala-2.8.1.final/src/scala-swing-src.jar \\
   1.180 +./contrib/scala-2.8.1.final/src/scala-compiler-src.jar \\
   1.181 +./contrib/scala-2.8.1.final/src/scala-dbc-src.jar \\
   1.182 +./contrib/scala-2.8.1.final/src/sbaz-src.jar \\
   1.183 +\textbf{----- Isars entry to SML from Scala-layer; } \\
   1.184 +\textit{created according to 4.3.\#3 }\\
   1.185 +./lib/classes/isabelle-scala.jar  \\
   1.186 +./lib/classes/Pure.jar \\\\
   1.187 +\textit{\textbf{===== all below for NetBeans}} \\\\
   1.188 +\textbf{----- standard Isabelle, started by $<RUN>$ in NetBeans} \\
   1.189 +      \textit{description in 2.2.2} \\
   1.190 +./src/Tools/jEdit/dist/jars/jedit.jar \\
   1.191 +./src/Tools/jEdit/dist/jars/SideKick.jar \\
   1.192 +./src/Tools/jEdit/dist/jars/Console.jar \\
   1.193 +./src/Tools/jEdit/dist/jars/Pure.jar \\
   1.194 +./src/Tools/jEdit/dist/jars/scala-compiler.jar \\
   1.195 +./src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar \\
   1.196 +./src/Tools/jEdit/dist/jars/cobra.jar \\
   1.197 +./src/Tools/jEdit/dist/jars/js.jar \\
   1.198 +./src/Tools/jEdit/dist/jars/Hyperlinks.jar \\
   1.199 +./src/Tools/jEdit/dist/jars/scala-swing.jar \\
   1.200 +./src/Tools/jEdit/dist/jars/scala-library.jar \\
   1.201 +./src/Tools/jEdit/dist/jars/ErrorList.jar \\
   1.202 +\textbf{----- source of jEdit, required for $<DEBUG>$ in NetBeans; \\}
   1.203 +      adapted from NetBeans' webpages, \\
   1.204 +      \textit{description in 2.2.3.\#5} \\
   1.205 +./src/Tools/jEditC/contrib/jEdit/build/jars/SideKick.jar \\
   1.206 +./src/Tools/jEditC/contrib/jEdit/build/jars/Console.jar \\
   1.207 +./src/Tools/jEditC/contrib/jEdit/build/jars/Pure.jar \\
   1.208 +./src/Tools/jEditC/contrib/jEdit/build/jars/Isac.jar \\
   1.209 +./src/Tools/jEditC/contrib/jEdit/build/jars/QuickNPScala.jar \\
   1.210 +./src/Tools/jEditC/contrib/jEdit/build/jars/scala-compiler.jar \\
   1.211 +./src/Tools/jEditC/contrib/jEdit/build/jars/Isabelle-jEdit.jar \\
   1.212 +./src/Tools/jEditC/contrib/jEdit/build/jars/cobra.jar \\
   1.213 +./src/Tools/jEditC/contrib/jEdit/build/jars/js.jar \\
   1.214 +./src/Tools/jEditC/contrib/jEdit/build/jars/Hyperlinks.jar \\
   1.215 +./src/Tools/jEditC/contrib/jEdit/build/jars/scala-swing.jar \\
   1.216 +./src/Tools/jEditC/contrib/jEdit/build/jars/scala-library.jar \\
   1.217 +./src/Tools/jEditC/contrib/jEdit/build/jars/ErrorList.jar \\
   1.218 +./src/Tools/jEditC/contrib/jEdit/build/jEdit.jar \\
   1.219 +\textbf{----- demo plugin, started by $<RUN>$ in NetBeans \\}
   1.220 +      \textit{description in 2.2.3.\#4} \\
   1.221 +./src/Tools/jEditC/dist/jars/SideKick.jar \\
   1.222 +./src/Tools/jEditC/dist/jars/Console.jar \\
   1.223 +./src/Tools/jEditC/dist/jars/Pure.jar \\
   1.224 +./src/Tools/jEditC/dist/jars/Isac.jar \\
   1.225 +./src/Tools/jEditC/dist/jars/scala-compiler.jar \\
   1.226 +./src/Tools/jEditC/dist/jars/cobra.jar \\
   1.227 +./src/Tools/jEditC/dist/jars/js.jar \\
   1.228 +./src/Tools/jEditC/dist/jars/Hyperlinks.jar \\
   1.229 +./src/Tools/jEditC/dist/jars/scala-swing.jar \\
   1.230 +./src/Tools/jEditC/dist/jars/scala-library.jar \\
   1.231 +./src/Tools/jEditC/dist/jars/ErrorList.jar \\
   1.232 +
   1.233 +\section{Scala-Files: Isabelle-Pure}
   1.234 +\textbf{General:}\\
   1.235 +./src/Pure/General/xml.scala\\
   1.236 +./src/Pure/General/linear\_set.scala\\
   1.237 +./src/Pure/General/symbol.scala\\
   1.238 +./src/Pure/General/exn.scala\\
   1.239 +./src/Pure/General/position.scala\\
   1.240 +./src/Pure/General/scan.scala\\
   1.241 +./src/Pure/General/xml\_data.scala\\
   1.242 +./src/Pure/General/yxml.scala\\
   1.243 +./src/Pure/General/markup.scala\\
   1.244 +./src/Pure/General/sha1.scala\\
   1.245 +./src/Pure/General/timing.scala\\
   1.246 +./src/Pure/General/pretty.scala\\
   1.247 +\textbf{Concurent:}\\
   1.248 +./src/Pure/Concurrent/volatile.scala\\
   1.249 +./src/Pure/Concurrent/future.scala\\
   1.250 +./src/Pure/Concurrent/simple\_thread.scala\\
   1.251 +\textbf{Thy:}\\
   1.252 +./src/Pure/Thy/html.scala\\
   1.253 +./src/Pure/Thy/completion.scala\\
   1.254 +./src/Pure/Thy/thy\_header.scala\\
   1.255 +./src/Pure/Thy/thy\_syntax.scala\\
   1.256 +./src/Pure/Isac/isac.scala\\
   1.257 +./src/Pure/library.scala\\
   1.258 +\textbf{Isar:}\\
   1.259 +./src/Pure/Isar/keyword.scala\\
   1.260 +./src/Pure/Isar/outer\_syntax.scala\\
   1.261 +./src/Pure/Isar/token.scala\\
   1.262 +./src/Pure/Isar/parse.scala\\
   1.263 +\textbf{Isac:}\\
   1.264 +\textit{./src/Pure/Isac/isac.scala}\\
   1.265 +\textbf{System:}\\
   1.266 +./src/Pure/System/gui\_setup.scala\\
   1.267 +./src/Pure/System/isabelle\_system.scala\\
   1.268 +./src/Pure/System/swing\_thread.scala\\
   1.269 +./src/Pure/System/download.scala\\
   1.270 +./src/Pure/System/session\_manager.scala\\
   1.271 +./src/Pure/System/standard\_system.scala\\
   1.272 +./src/Pure/System/isabelle\_syntax.scala\\
   1.273 +./src/Pure/System/session.scala\\
   1.274 +./src/Pure/System/platform.scala\\
   1.275 +./src/Pure/System/cygwin.scala\\
   1.276 +./src/Pure/System/event\_bus.scala\\
   1.277 +./src/Pure/System/isabelle\_process.scala\\
   1.278 +\textbf{PIDE}\\
   1.279 +./src/Pure/PIDE/document.scala\\
   1.280 +./src/Pure/PIDE/markup\_tree.scala\\
   1.281 +./src/Pure/PIDE/text.scala\\
   1.282 +./src/Pure/PIDE/command.scala\\
   1.283 +./src/Pure/PIDE/isar\_document.scala \\
   1.284 +
   1.285 +
   1.286 +\chapter{Das Skript \textit{isac\_jedit}}
   1.287 +
   1.288 +\textit{
   1.289 +\#$!$/usr/bin/env bash
   1.290 +cd src/Pure/ \\
   1.291 +echo "Building Pure.jar" \\
   1.292 +../../bin/isabelle env ./build-jars \\
   1.293 +echo "copying Pure.jar to contrib/jedit" \\
   1.294 +cp ../../lib/classes/Pure.jar ../../contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/ \\
   1.295 +echo "Building Isac.jar" \\
   1.296 +cd /home/gadei/isac/isa/src/Tools/jEditC \\
   1.297 +ant jar \\
   1.298 +cd /home/gadei/isac/isa/src/Pure/ \\
   1.299 +echo "copying Isac.jar to contrib/jedit" \\
   1.300 +cp ../Tools/jEditC/contrib/jEdit/build/jars/Isac.jar ../../contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/ \\
   1.301 +echo "Done!" \\
   1.302 +}
   1.303 +
   1.304 +\chapter{Filestruktur f\"ur die Entwicklung des SD-Plugins}\label{files-SD-plugin}
   1.305 +
   1.306 +\textbf{src/Tools/jEditC/}build.xml\\
   1.307 +\textbf{src/Tools/jEditC/}makedist\\
   1.308 +\textbf{src/Tools/jEditC/}manifest.mf\\
   1.309 +\textbf{src/Tools/jEditC/}README\_BUILD\\
   1.310 +\textbf{src/Tools/jEditC/build/*}\\
   1.311 +\textbf{src/Tools/jEditC/contrib/*}\\
   1.312 +\textbf{src/Tools/jEditC/dist/*}\\
   1.313 +\textbf{src/Tools/jEditC/plugin/}build.xml\\
   1.314 +\textbf{src/Tools/jEditC/plugin/}changes40.txt\\
   1.315 +\textbf{src/Tools/jEditC/plugin/}changes42.txt\\
   1.316 +\textbf{src/Tools/jEditC/plugin/}description.html\\
   1.317 +\textbf{src/Tools/jEditC/plugin/}testSDActions.java\\
   1.318 +\textbf{src/Tools/jEditC/plugin/}testSD.iml\\
   1.319 +\textbf{src/Tools/jEditC/plugin/}testSD.java\\
   1.320 +\textbf{src/Tools/jEditC/plugin/}testSDOptionPane.java\\
   1.321 +\textbf{src/Tools/jEditC/plugin/}testSDPlugin.java\\
   1.322 +\textbf{src/Tools/jEditC/plugin/}testSDTextArea.java\\
   1.323 +\textbf{src/Tools/jEditC/plugin/}testSDToolPanel.java\\
   1.324 +\textbf{src/Tools/jEditC/plugin/}plugin\\
   1.325 +\textbf{src/Tools/jEditC/plugin/}README.txt\\
   1.326 +\textbf{src/Tools/jEditC/nbproject/*}\\
   1.327 +\textbf{src/Tools/jEditC/src/}actions.xml\\
   1.328 +\textbf{src/Tools/jEditC/src/}changes40.txt\\
   1.329 +\textbf{src/Tools/jEditC/src/}changes42.txt\\
   1.330 +\textbf{src/Tools/jEditC/src/}description.html\\
   1.331 +\textbf{src/Tools/jEditC/src/}dockables.xml\\
   1.332 +\textbf{src/Tools/jEditC/src/}testSDActions.scala\\
   1.333 +\textbf{src/Tools/jEditC/src/}testSD.iml\\
   1.334 +\textbf{src/Tools/jEditC/src/}testSDOptionPane.scala\\
   1.335 +\textbf{src/Tools/jEditC/src/}testSDPlugin.scala\\
   1.336 +\textbf{src/Tools/jEditC/src/}testSD.props\\
   1.337 +\textbf{src/Tools/jEditC/src/}testSD.scala\\
   1.338 +\textbf{src/Tools/jEditC/src/}testSDTextArea.scala\\
   1.339 +\textbf{src/Tools/jEditC/src/}testSDToolPanel.scala\\
   1.340 +\textbf{src/Tools/jEditC/src/}manifest.mf\\
   1.341 +\textbf{src/Tools/jEditC/src/}README.txt\\
   1.342 +\textbf{src/Tools/jEditC/src/}users-guide.xml \\
   1.343 \ No newline at end of file