1.1 --- a/doc-src/isac/akargl/ferialprakt.tex	Wed Jul 13 10:41:17 2011 +0200
     1.2 +++ b/doc-src/isac/akargl/ferialprakt.tex	Thu Jul 14 10:01:33 2011 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\
     1.5         der Technischen Universit\"at Graz\\
     1.6         Arbeitsprotokoll}
     1.7 -\author{Thomas Leh\\
     1.8 +\author{Alexander Kargl\\
     1.9         xxx@yyy}
    1.10  \date{\today}
    1.11  
    1.12 @@ -27,10 +27,11 @@
    1.13   & Demonstration des Theorem Provers Isabelle & 0.5\\
    1.14   & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\
    1.15   & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\ \hline
    1.16 -13.7.11 &  & \\
    1.17 - &  & \\
    1.18 - &  & \\
    1.19 - &  & \\
    1.20 +13.7.11
    1.21 + & Einf\"uhrung Latex & 1.0 \\
    1.22 + & Einf\"uhrung ML & 1.5 \\
    1.23 + & Konfiguration von Mercurial & 1.5 \\
    1.24 + & ML-Programmierung/Einführung & 3.5 \\
    1.25   &  & \\
    1.26   &  & \\
    1.27   &  & \\