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}