1.1 --- a/doc-src/isac/tleh/ferialprakt.tex	Thu Jul 28 16:34:45 2011 +0200
     1.2 +++ b/doc-src/isac/tleh/ferialprakt.tex	Thu Jul 28 16:49:29 2011 +0200
     1.3 @@ -46,21 +46,23 @@
     1.4   & Ml Datastructure \"Ubungen & \\
     1.5   & Informationen \"uber Rewriting und MathEngine & \\  \hline
     1.6  18.7.11 & Einf\"uhrung in die Fehlersuche (ISAC-Tests)  & 7.5 \\ 
     1.7 - & Fehlersuche &  \\ \hline
     1.8 -19.7.11 & Fehlersuche im Directory ``Knowledge   & 7.5 \\
     1.9 - & Uncommanding funktionierender Tests &  & \hline
    1.10 + & Fehlersuche im Directory ``Frontend'' &  \\ \hline
    1.11 +19.7.11 & Fehlersuche im Directory ``Knowledge''   & 7.5 \\
    1.12 + & Uncommanding funktionierender Tests   & \\ \hline
    1.13  20.7.11 & Einf\"uhrung Fehlerbeseitigung (ISAC-Tests) &  7.5  \\
    1.14   & Fehlerbeseitigung im File polyminus.sml  &  \\ \hline
    1.15  21.7.11 & Informationen \"uber Studienrichtungen der Informatik & 7.5 \\
    1.16   & Fehlerbeseitigung im File integrate.sml  &  \\ \hline
    1.17 -22.7.11 & Fehlersuche und Beseitigung (ISAC-Tests) &   \\7.5 \hline
    1.18 -25.7.11 & Fehlersuche und Beseitigung in der File diff.sml (ISAC-Tests) & 7.5\\ \hline
    1.19 -26.7.11 & updaten des ``scr'' Directories & 7.5  \\ \hline
    1.20 -& Fehlersuche im ``scr'' Directory& &
    1.21 +22.7.11 & Fehlersuche in der File ``diffapp''   &  7.5 \\ 
    1.22 +& Beseitigung des Fehlers   & \\ \hline
    1.23 +25.7.11 & Fehlersuche  in der File ``diff.sml''  & 7.5\\ 
    1.24 +& Fehlerbeseitigung in der File ``diff.sml``& \\\hline
    1.25 +26.7.11 & updaten des ``scr'' Directories & 7.5  \\ 
    1.26 +& Fehlersuche im ``scr'' Directory & \\ \hline
    1.27  27.7.11 & updaten des ``scr'' Directories  &  7.5 \\
    1.28 -& Fehlerbehebung in den Files eqsystem.thy, atools.thy &  & \hline
    1.29 +& Fehlerbehebung in den Files eqsystem.thy, atools.thy & \\  \hline
    1.30  28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\
    1.31 - & Fertigstellung des Protokolls  &   \\
    1.32 + & Fertigstellung des Protokolls  &   \\ \hline
    1.33  29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\
    1.34  \end{tabular}
    1.35  \end{center}