doc-src/isac/akargl/ferialprakt.tex
branchdecompose-isar
changeset 42108 23b6b0033454
parent 42095 245b3109fed6
child 42125 f442b64622e4
     1.1 --- a/doc-src/isac/akargl/ferialprakt.tex	Mon Jul 18 09:51:51 2011 +0200
     1.2 +++ b/doc-src/isac/akargl/ferialprakt.tex	Tue Jul 19 09:43:01 2011 +0200
     1.3 @@ -42,7 +42,8 @@
     1.4   & ML- Programmierung & 2.5 \\
     1.5   & Einf\"uhrung ML/\sisac\  V & 1.0 \\
     1.6   & ML- Programmierung & 3.0 \\ \hline
     1.7 - & & \\
     1.8 +18.7.2011
     1.9 + & Fehlersuche/Debugging Isac-Tests & 7.5 \\ \hline
    1.10  \end{tabular}
    1.11  \end{center}
    1.12