1.1 --- a/src/Doc/isac/msteger/bakk-arbeit/thesis-appendix.tex Mon Sep 16 12:27:20 2013 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,339 +0,0 @@
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