1.1 --- a/doc-src/isac/mlehnfeld/projektbericht.tex	Mon May 30 20:30:56 2011 +0200
     1.2 +++ b/doc-src/isac/mlehnfeld/projektbericht.tex	Tue May 31 10:15:29 2011 +0200
     1.3 @@ -12,9 +12,15 @@
     1.4  \begin{document}
     1.5  
     1.6  \title{\Large {\bf Verbindung von 'Computation' und 'Deduction' im \isac{}-System}\\~\\
     1.7 -	Projektpraktikum am Institut für Computersprachen, TU Wien}
     1.8 +	Projektpraktikum am Institut für Computersprachen,\\Technische Universit\"at Wien\\
     1.9 +\vspace{0.7cm}
    1.10 +\large{Betreuer: Univ.-Prof. Dr. Jens Knoop}}
    1.11  \author{Mathias Lehnfeld\\
    1.12  	{\tt mathias.lehnfeld@gmx.at}}
    1.13 +%pdflatex creates an empty page 1 and the titlepage on page 2 ?!?...
    1.14 +%\thanks{Betreuer: Univ.-Prof. Dr. Jens Knoop, Technische Universit\"at Wien\\
    1.15 +%        Dr. Walther Neuper, Technische Universit\"at Graz}
    1.16 +\date{30. Mai 2011}
    1.17  \maketitle
    1.18  \clearpage
    1.19  \tableofcontents
    1.20 @@ -364,10 +370,20 @@
    1.21  
    1.22  
    1.23  \section{Abschließende Bemerkungen}
    1.24 -Rückblickend betrachte ich das Projektpraktikum als sehr positive Erfahrung, da ich das Gefühl habe, etwas nicht Unwesentliches  zur Erweiterung von \sisac{} beigetragen zu haben. Die persönliche Zusammenarbeit mit Akademikern und auch die Verrichtung einer Arbeit, die nach Abschluss gebraucht und verwendet wird, ist eine Erfahrung, die in meinem Studium nicht selbstverständlich ist und um die ich mich sehr bemüht habe.\\
    1.25 -Der nicht zuletzt durch das überraschend notwendig gewordene Update bedingte zähe Verlauf bis ich endlich wirklich an der eigentlichen Aufgabenstellung arbeiten konnte war etwas ernüchternd, da ich gehofft hatte, das Praktikum bis spätestens Ende März abschließen zu können.\\
    1.26 -Die Zusammenarbeit mit Herrn Neuper hat jedenfalls sehr gut funktioniert und aus meiner Sicht haben wir uns sehr gut verstanden. Das hat ein entspanntes Arbeitsklima ermöglicht.\\
    1.27 -Abgesehen von der zeitlichen Verzögerung des Projektes freue ich mich über den erfolgreichen Abschluss der geplanten Aufgaben und deren interessanten Charakter.
    1.28 +Rückblickend betrachte ich das Projektpraktikum als sehr positive Erfahrung, da ich das Gefühl habe, etwas nicht Unwesentliches  zur Erweiterung von \sisac{} beigetragen zu haben. Die persönliche Zusammenarbeit mit Akademikern und auch die Verrichtung einer Arbeit, die nach Abschluss gebraucht und verwendet wird, ist eine Erfahrung, die in meinem Studium nicht selbstverständlich ist und um die ich mich sehr bemüht habe.
    1.29 +
    1.30 +Der %nicht zuletzt 
    1.31 +durch das überraschend notwendig gewordene Update 
    1.32 +von Isabelle2009-2 auf Isabelle2011
    1.33 +bedingte zähe Verlauf bis ich endlich wirklich an der eigentlichen Aufgabenstellung arbeiten konnte, %war etwas ernüchternd, 
    1.34 +verlange einies Umdisponieren,
    1.35 +da ich gehofft hatte, das Praktikum bis spätestens Ende März abschließen zu können. Die zeitliche Verzögerung des Projektes wurde jedoch gro\3es Entgegenkommen des Institutes ausgeglichen, f\"ur das ich mich sehr bedanke. Lehrreich war f\"ur mich auch die Einbindung der Abschlusspr\"asentation in die Vortragsreihe des Institutes f\"ur Computersprachen; auch daf\"ur herzlichen Dank.
    1.36 +
    1.37 +Die Zusammenarbeit mit \sisac-Entwicklung \"uber Herrn Neuper hat %jedenfalls 
    1.38 +sehr gut funktioniert und aus meiner Sicht haben wir uns sehr gut verstanden. Das hat ein produktives %entspanntes 
    1.39 +Arbeitsklima ermöglicht.
    1.40 +
    1.41 +%Abgesehen von der zeitlichen Verzögerung des Projektes freue ich mich über den erfolgreichen Abschluss der geplanten Aufgaben und deren interessanten Charakter.
    1.42  
    1.43  \clearpage
    1.44