\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{Alexander Kargl\\

       akargl@brgkepler.net}

\date{\today}

\begin{document}

\maketitle

\section{Urspr\"ungliche Erwartungen}

TODO

\section{Arbeitsprotokoll}

\begin{center}

\begin{tabular}{l|l|r}

Datum   & T\"atigkeit & Std. \\ \hline

12.7.2011

 & Demonstration des ``educational math assistant \sisac'' & 1.0\\

 & Demonstration des Theorem Provers Isabelle & 0.5\\

 & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\

 & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\ \hline

13.7.2011

 & Einf\"uhrung Latex & 1.0 \\

 & Einf\"uhrung ML I & 1.5 \\

 & Konfiguration von Mercurial & 1.5 \\

 & ML-Programmierung/Einf\"uhrung & 3.5 \\ \hline

14.7.2011

 & Einf\"uhrung ML II & 1.5 \\

 & Programmierung ML & 2.0 \\

 & Einf\"uhrung ML III & 1.0 \\

 & Erstellung v. Beispielen f\"ur Kombinatoren in ML & 3.0 \\ \hline

15.7.2011

 & Einf\"uhrung ML/\sisac\  IV & 1.0 \\

 & ML- Programmierung & 2.5 \\

 & Einf\"uhrung ML/\sisac\  V & 1.0 \\

 & ML- Programmierung & 3.0 \\ \hline

 & & \\

\end{tabular}

\end{center}

\section{R\"uckblick auf das Praktikum}

TODO

\end{document}