diff -r c3dcf32ca6df -r eae8dd6de819 doc-src/isac/tleh/ferialprakt.tex --- a/doc-src/isac/tleh/ferialprakt.tex Thu Jul 28 16:34:45 2011 +0200 +++ b/doc-src/isac/tleh/ferialprakt.tex Thu Jul 28 16:49:29 2011 +0200 @@ -46,21 +46,23 @@ & Ml Datastructure \"Ubungen & \\ & Informationen \"uber Rewriting und MathEngine & \\ \hline 18.7.11 & Einf\"uhrung in die Fehlersuche (ISAC-Tests) & 7.5 \\ - & Fehlersuche & \\ \hline -19.7.11 & Fehlersuche im Directory ``Knowledge & 7.5 \\ - & Uncommanding funktionierender Tests & & \hline + & Fehlersuche im Directory ``Frontend'' & \\ \hline +19.7.11 & Fehlersuche im Directory ``Knowledge'' & 7.5 \\ + & Uncommanding funktionierender Tests & \\ \hline 20.7.11 & Einf\"uhrung Fehlerbeseitigung (ISAC-Tests) & 7.5 \\ & Fehlerbeseitigung im File polyminus.sml & \\ \hline 21.7.11 & Informationen \"uber Studienrichtungen der Informatik & 7.5 \\ & Fehlerbeseitigung im File integrate.sml & \\ \hline -22.7.11 & Fehlersuche und Beseitigung (ISAC-Tests) & \\7.5 \hline -25.7.11 & Fehlersuche und Beseitigung in der File diff.sml (ISAC-Tests) & 7.5\\ \hline -26.7.11 & updaten des ``scr'' Directories & 7.5 \\ \hline -& Fehlersuche im ``scr'' Directory& & +22.7.11 & Fehlersuche in der File ``diffapp'' & 7.5 \\ +& Beseitigung des Fehlers & \\ \hline +25.7.11 & Fehlersuche in der File ``diff.sml'' & 7.5\\ +& Fehlerbeseitigung in der File ``diff.sml``& \\\hline +26.7.11 & updaten des ``scr'' Directories & 7.5 \\ +& Fehlersuche im ``scr'' Directory & \\ \hline 27.7.11 & updaten des ``scr'' Directories & 7.5 \\ -& Fehlerbehebung in den Files eqsystem.thy, atools.thy & & \hline +& Fehlerbehebung in den Files eqsystem.thy, atools.thy & \\ \hline 28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\ - & Fertigstellung des Protokolls & \\ + & Fertigstellung des Protokolls & \\ \hline 29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\ \end{tabular} \end{center}