
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}




