1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/isac/akargl/ferialprakt.tex	Wed Jul 13 10:41:17 2011 +0200
     1.3 @@ -0,0 +1,63 @@
     1.4 +\documentclass[a4paper,12pt]{article}
     1.5 +\usepackage{ngerman}
     1.6 +
     1.7 +
     1.8 +\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
     1.9 +\def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
    1.10 +
    1.11 +\title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\
    1.12 +       der Technischen Universit\"at Graz\\
    1.13 +       Arbeitsprotokoll}
    1.14 +\author{Thomas Leh\\
    1.15 +       xxx@yyy}
    1.16 +\date{\today}
    1.17 +
    1.18 +\begin{document}
    1.19 +\maketitle
    1.20 +
    1.21 +\section{Urspr\"ungliche Erwartungen}
    1.22 +TODO
    1.23 +
    1.24 +\section{Arbeitsprotokoll}
    1.25 +\begin{center}
    1.26 +\begin{tabular}{l|l|r}
    1.27 +Datum   & T\"atigkeit & Std. \\ \hline
    1.28 +12.7.11
    1.29 + & Demonstration des ``educational math assistant \sisac'' & 1.0\\
    1.30 + & Demonstration des Theorem Provers Isabelle & 0.5\\
    1.31 + & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\
    1.32 + & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\ \hline
    1.33 +13.7.11 &  & \\
    1.34 + &  & \\
    1.35 + &  & \\
    1.36 + &  & \\
    1.37 + &  & \\
    1.38 + &  & \\
    1.39 + &  & \\
    1.40 + &  & \\
    1.41 + &  & \\
    1.42 + &  & \\
    1.43 +\end{tabular}
    1.44 +\end{center}
    1.45 +
    1.46 +\begin{center}
    1.47 +\begin{tabular}{l|l|r}
    1.48 +Datum   & T\"atigkeit & Std. \\ \hline
    1.49 +xx.7.11 &  & \\
    1.50 + &  & \\
    1.51 + &  & \\
    1.52 + &  & \\
    1.53 + &  & \\
    1.54 + &  & \\
    1.55 + &  & \\
    1.56 + &  & \\
    1.57 + &  & \\
    1.58 + &  & \\
    1.59 +\end{tabular}
    1.60 +\end{center}
    1.61 +
    1.62 +\section{R\"uckblick auf das Praktikum}
    1.63 +TODO
    1.64 +
    1.65 +
    1.66 +\end{document}