102 08.04.2011 & Besprechung: Implementierung des experimentellen Parsers wird nicht mehr durchgef\"{u}hrt & 1 \\ \hline \hline |
102 08.04.2011 & Besprechung: Implementierung des experimentellen Parsers wird nicht mehr durchgef\"{u}hrt & 1 \\ \hline \hline |
103 & Anzahl der Einheiten & 12 \\ |
103 & Anzahl der Einheiten & 12 \\ |
104 \hline |
104 \hline |
105 \end{tabular} |
105 \end{tabular} |
106 |
106 |
107 \section{Verfassen der Dokumentation und abschliesende Arbeiten: beendet am TO.DO.2011} |
107 \section{Verfassen der Dokumentation und abschliesende Arbeiten: beendet am 30.Juni 2011} |
108 \begin{itemize} |
108 \begin{itemize} |
109 \item Bacc.-Protokoll fertiggestellt: beendet am 01.03.2011 |
109 \item Bacc.-Protokoll fertiggestellt: beendet am 01.03.2011 |
110 \item Dokumentation: erste Version fertiggestellt: beendet am 28.04.2011 |
110 \item Dokumentation: erste Version fertiggestellt: beendet am 28.04.2011 |
111 \item Dokumentation abgeschlossen: beendet am TO.DO.2011 |
111 \item Dokumentation abgeschlossen: beendet am 30.Juni 2011 |
112 \end{itemize} |
112 \end{itemize} |
113 \begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|} |
113 \begin{tabular}{|p{2cm}|p{8cm}|p{2cm}|} |
114 \hline |
114 \hline |
115 Datum & T\"atigkeit & Einheiten \\ \hline |
115 Datum & T\"atigkeit & Einheiten \\ \hline |
116 01.03.2011 & Besprechung zum Ablauf der Dokumentationsarbeiten: Protokoll und Dokumentation & 1 \\ \hline |
116 01.03.2011 & Besprechung zum Ablauf der Dokumentationsarbeiten: Protokoll und Dokumentation & 1 \\ \hline |
296 echo "copying Isac.jar to contrib/jedit" \\ |
296 echo "copying Isac.jar to contrib/jedit" \\ |
297 cp ../Tools/jEditC/contrib/jEdit/build/jars/Isac.jar ../../contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/ \\ |
297 cp ../Tools/jEditC/contrib/jEdit/build/jars/Isac.jar ../../contrib/jedit-4.3.2\_Isabelle-6d736d983d5c/jars/ \\ |
298 echo "Done!" \\ |
298 echo "Done!" \\ |
299 } |
299 } |
300 |
300 |
301 \chapter{Filestruktur f\"ur die Entwicklung des SD-Plugins} |
301 \chapter{Filestruktur f\"ur die Entwicklung des SD-Plugins}\label{files-SD-plugin} |
302 |
302 |
303 build.xml\\ |
303 \textbf{src/Tools/jEditC/}build.xml\\ |
304 makedist\\ |
304 \textbf{src/Tools/jEditC/}makedist\\ |
305 manifest.mf\\ |
305 \textbf{src/Tools/jEditC/}manifest.mf\\ |
306 README\_BUILD\\ |
306 \textbf{src/Tools/jEditC/}README\_BUILD\\ |
307 \textbf{build/*}\\ |
307 \textbf{src/Tools/jEditC/build/*}\\ |
308 \textbf{contrib/*}\\ |
308 \textbf{src/Tools/jEditC/contrib/*}\\ |
309 \textbf{dist/*}\\ |
309 \textbf{src/Tools/jEditC/dist/*}\\ |
310 \textbf{plugin/}build.xml\\ |
310 \textbf{src/Tools/jEditC/plugin/}build.xml\\ |
311 \textbf{plugin/}changes40.txt\\ |
311 \textbf{src/Tools/jEditC/plugin/}changes40.txt\\ |
312 \textbf{plugin/}changes42.txt\\ |
312 \textbf{src/Tools/jEditC/plugin/}changes42.txt\\ |
313 \textbf{plugin/}description.html\\ |
313 \textbf{src/Tools/jEditC/plugin/}description.html\\ |
314 \textbf{plugin/}IsacActions.java\\ |
314 \textbf{src/Tools/jEditC/plugin/}testSDActions.java\\ |
315 \textbf{plugin/}Isac.iml\\ |
315 \textbf{src/Tools/jEditC/plugin/}testSD.iml\\ |
316 \textbf{plugin/}Isac.java\\ |
316 \textbf{src/Tools/jEditC/plugin/}testSD.java\\ |
317 \textbf{plugin/}IsacOptionPane.java\\ |
317 \textbf{src/Tools/jEditC/plugin/}testSDOptionPane.java\\ |
318 \textbf{plugin/}IsacPlugin.java\\ |
318 \textbf{src/Tools/jEditC/plugin/}testSDPlugin.java\\ |
319 \textbf{plugin/}IsacTextArea.java\\ |
319 \textbf{src/Tools/jEditC/plugin/}testSDTextArea.java\\ |
320 \textbf{plugin/}IsacToolPanel.java\\ |
320 \textbf{src/Tools/jEditC/plugin/}testSDToolPanel.java\\ |
321 \textbf{plugin/}plugin\\ |
321 \textbf{src/Tools/jEditC/plugin/}plugin\\ |
322 \textbf{plugin/}README.txt\\ |
322 \textbf{src/Tools/jEditC/plugin/}README.txt\\ |
323 \textbf{nbproject/*}\\ |
323 \textbf{src/Tools/jEditC/nbproject/*}\\ |
324 \textbf{src/}actions.xml\\ |
324 \textbf{src/Tools/jEditC/src/}actions.xml\\ |
325 \textbf{src/}changes40.txt\\ |
325 \textbf{src/Tools/jEditC/src/}changes40.txt\\ |
326 \textbf{src/}changes42.txt\\ |
326 \textbf{src/Tools/jEditC/src/}changes42.txt\\ |
327 \textbf{src/}description.html\\ |
327 \textbf{src/Tools/jEditC/src/}description.html\\ |
328 \textbf{src/}dockables.xml\\ |
328 \textbf{src/Tools/jEditC/src/}dockables.xml\\ |
329 \textit{\textbf{src/}IsacActions.scala\\} |
329 \textbf{src/Tools/jEditC/src/}testSDActions.scala\\ |
330 \textbf{src/}Isac.iml\\ |
330 \textbf{src/Tools/jEditC/src/}testSD.iml\\ |
331 \textit{\textbf{src/}IsacOptionPane.scala\\} |
331 \textbf{src/Tools/jEditC/src/}testSDOptionPane.scala\\ |
332 \textit{\textbf{src/}IsacPlugin.scala\\} |
332 \textbf{src/Tools/jEditC/src/}testSDPlugin.scala\\ |
333 \textbf{src/}Isac.props\\ |
333 \textbf{src/Tools/jEditC/src/}testSD.props\\ |
334 \textit{\textbf{src/}Isac.scala\\} |
334 \textbf{src/Tools/jEditC/src/}testSD.scala\\ |
335 \textit{\textbf{src/}IsacTextArea.scala\\} |
335 \textbf{src/Tools/jEditC/src/}testSDTextArea.scala\\ |
336 \textit{\textbf{src/}IsacToolPanel.scala\\} |
336 \textbf{src/Tools/jEditC/src/}testSDToolPanel.scala\\ |
337 \textbf{src/}manifest.mf\\ |
337 \textbf{src/Tools/jEditC/src/}manifest.mf\\ |
338 \textbf{src/}README.txt\\ |
338 \textbf{src/Tools/jEditC/src/}README.txt\\ |
339 \textbf{src/}users-guide.xml \\ |
339 \textbf{src/Tools/jEditC/src/}users-guide.xml \\ |