1.1 --- a/doc-src/isac/akargl/ferialprakt.tex	Mon Jul 25 14:19:50 2011 +0200
     1.2 +++ b/doc-src/isac/akargl/ferialprakt.tex	Tue Jul 26 09:09:49 2011 +0200
     1.3 @@ -21,7 +21,7 @@
     1.4  \section{Arbeitsprotokoll}
     1.5  \begin{center}
     1.6  \begin{tabular}{l|l|r}
     1.7 -Datum   & T\"atigkeit & Std. \\ \hline
     1.8 +\textbf{Datum}   &\textbf{T\"atigkeit} & \textbf{Std.} \\ \hline
     1.9  12.7.2011
    1.10   & Demonstration des ``educational math assistant \sisac'' & 1.0\\
    1.11   & Demonstration des Theorem Provers Isabelle & 0.5\\
    1.12 @@ -41,7 +41,7 @@
    1.13   & Einf\"uhrung ML/\sisac\  IV & 1.0 \\
    1.14   & ML- Programmierung & 2.5 \\
    1.15   & Einf\"uhrung ML/\sisac\  V & 1.0 \\
    1.16 - & ML- Programmierung & 3.0 \\ \hline
    1.17 + & ML- Programmierung & 3.0 \\ \hline \hline
    1.18  18.7.2011
    1.19   & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
    1.20  19.7.2011
    1.21 @@ -52,7 +52,9 @@
    1.22   & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
    1.23  22.7.2011
    1.24   & Information \"uber Studienrichtungen etc. & 1.0 \\
    1.25 - & Fehlersuche/Debugging Isac-Tests & 6.5 \\ \hline
    1.26 + & Fehlersuche/Debugging Isac-Tests & 6.5 \\ \hline \hline
    1.27 +25.7.2011
    1.28 + & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline 
    1.29  \end{tabular}
    1.30  \end{center}
    1.31