1.1 --- a/doc-src/isac/akargl/ferialprakt.tex	Thu Jul 14 14:36:01 2011 +0200
     1.2 +++ b/doc-src/isac/akargl/ferialprakt.tex	Fri Jul 15 09:09:18 2011 +0200
     1.3 @@ -22,20 +22,21 @@
     1.4  \begin{center}
     1.5  \begin{tabular}{l|l|r}
     1.6  Datum   & T\"atigkeit & Std. \\ \hline
     1.7 -12.7.11
     1.8 +12.7.2011
     1.9   & Demonstration des ``educational math assistant \sisac'' & 1.0\\
    1.10   & Demonstration des Theorem Provers Isabelle & 0.5\\
    1.11   & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\
    1.12   & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\ \hline
    1.13 -13.7.11
    1.14 +13.7.2011
    1.15   & Einf\"uhrung Latex & 1.0 \\
    1.16   & Einf\"uhrung ML & 1.5 \\
    1.17   & Konfiguration von Mercurial & 1.5 \\
    1.18 - & ML-Programmierung/Einführung & 3.5 \\
    1.19 - &  & \\
    1.20 - &  & \\
    1.21 - &  & \\
    1.22 - &  & \\
    1.23 + & ML-Programmierung/Einf\"uhrung & 3.5 \\ \hline
    1.24 +14.7.2011
    1.25 + & Einf\"uhrung ML & 1.5 \\
    1.26 + & Programmierung ML & 2 \\
    1.27 + & Einf\"uhrung ML II & 1 \\
    1.28 + & Erstellung v. Beispielen f\"ur Kombinatoren in ML & 3 \\
    1.29   &  & \\
    1.30   &  & \\
    1.31  \end{tabular}