diff -r 7f3760f39bdc -r f8845fc8f38d src/Doc/isac/tleh/ferialprakt.tex
--- a/src/Doc/isac/tleh/ferialprakt.tex	Mon Sep 16 12:27:20 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,96 +0,0 @@
-\documentclass[a4paper,12pt]{article}
-%usepackage{ngerman}
-
-
-\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
-\def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
-
-\title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\
-       der Technischen Universit\"at Graz\\
-       Arbeitsprotokoll}
-\author{Thomas Leh\\
-       t.leh@gmx.at}
-\date{\today}
-
-\begin{document}
-\maketitle
-
-\section{Pers\"ohnliche Zielsetzung}
-Im letzen Sommer vor der Maturaklasse wollte ich mich schon \"uber 
-Studienm\"oglichkeiten informieren. 
-Meine Interessen liegen im Bereich der Computerwissenschaften und ich war
-deshalb froh, die Praktikumsstelle bekommen zu haben.
-Dabei wollte ich Folgendes erzielen:
-\begin{itemize}\itemsep1pt
-\item Genereller Einblick in die Software-Entwicklung 
-\item Einblick ins Programmieren 
-\item Informationen \"uber die Studienrichtung Informatik auf der TU
-\item Arbeitserfahrung im Bereich der Informatik
-\end{itemize}
-\newpage
-\section{Arbeitsprotokoll}
-\begin{center}
-\begin{tabular}{l|l|r}
-Datum   & T\"atigkeit & Std. \\ \hline
-12.7.11
- & Demonstration des ``educational math assistant \sisac'' &7.5 \\
- & Demonstration des Theorem Provers Isabelle & \\
- & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& \\
- & Installation: Isabelle, \sisac-core, Mercurial & \\ \hline
-13.7.11 & Einf\"uhrung Latex und ML Basic & 7.5 \\
- & Konfiguration von Mercurial & \\
- & ML Basics \"Ubungen  &  \\\hline
-14.7.11 & Einf\"uhrung ML Functions und ML Combinators  &7.5 \\
- &  \"Ubungen ML Functions und ML Combinators s & \\ \hline
-15.7.11&  Einf\"uhrung ML Datastructure  &7.5 \\ 
- & Ml Datastructure \"Ubungen & \\
- & Informationen \"uber Rewriting und MathEngine & \\  \hline
-18.7.11 & Einf\"uhrung in die Fehlersuche (ISAC-Tests)  & 7.5 \\ 
- & Fehlersuche im Directory ``Frontend'' &  \\ \hline
-19.7.11 & Fehlersuche im Directory ``Knowledge''   & 7.5 \\
- & Uncommanding funktionierender Tests   & \\ \hline
-20.7.11 & Einf\"uhrung Fehlerbeseitigung (ISAC-Tests) &  7.5  \\
- & Fehlerbeseitigung im File polyminus.sml  &  \\ \hline
-21.7.11 & Informationen \"uber Studienrichtungen der Informatik & 7.5 \\
- & Fehlerbeseitigung im File integrate.sml  &  \\ \hline
-22.7.11 & Fehlersuche in der File ``diffapp''   &  7.5 \\ 
-& Beseitigung des Fehlers   & \\ \hline
-25.7.11 & Fehlersuche  in der File ``diff.sml''  & 7.5\\ 
-& Fehlerbeseitigung in der File ``diff.sml``& \\\hline
-26.7.11 & updaten des ``scr'' Directories & 7.5  \\ 
-& Fehlersuche im ``scr'' Directory & \\ \hline
-27.7.11 & updaten des ``scr'' Directories  &  7.5 \\
-& Fehlerbehebung in den Files eqsystem.thy, atools.thy & \\  \hline
-28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\
- & Fertigstellung des Protokolls  &   \\ \hline
-29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\
-\end{tabular}
-\end{center}
-\newpage
-\section{R\"uckblick auf das Praktikum}
-
-
-
-\paragraph{Im Bereich der Software-Entwicklung} wurden meine Erwartungen 
-erf\"ullt. Ich wei\ss \ jetzt wie bei einem gr\"o\ss eren Software-Projekt 
-gearbeitet wird und habe mich mit den Umgang mit der Versionsverwaltungssoftware
-Mercurial vertraut gemacht. Des weiteren wurde mir die wichtige Rolle von Tests in
-Software-Projekten bewusst gemacht.
-
-\paragraph{Von der Programmierung} habe ich mir einen gro\ss en \"Überblick
- verschaffen k\"onnen. Dabei habe ich vorallem einiges zum Thema ``Funktionales 
-Programmieren (SML)'' erfahren und wurde mit dem Editor-Programm ``Jedit'' 
-vertraut gemacht.
-
-\paragraph{Informationen \"uber die Studienrichtungen der Informatik} konnte ich 
-auch gewinnen. Ich habe Zug\"ange bei tugonline in Erfahrung gebracht und habe 
-mich \"uber die Studienrichtungen Informatik, Telematik und Softwareentwicklung-
-Wirtschaft informiert.
-
-\paragraph{Arbeitserfahrung} konnte ich auch einige erlangen. Es herrschte eine 
-sehr komplexe, und vor allem ungewohnte Arbeitsumgebung (Linux,Mercurial,Isabelle)
-an die es sich zu gew\"ohnen galt. Es wurde mit mehreren dutzend Files mit einigen
-tausend Programmzeilen gearbeitet.
-
-
-\end{document}