1.1 --- a/doc-isac/tleh/ferialprakt.tex	Mon Oct 31 18:28:36 2022 +0100
     1.2 +++ b/doc-isac/tleh/ferialprakt.tex	Mon Nov 07 17:37:20 2022 +0100
     1.3 @@ -57,9 +57,9 @@
     1.4  & Beseitigung des Fehlers   & \\ \hline
     1.5  25.7.11 & Fehlersuche  in der File ``diff.sml''  & 7.5\\ 
     1.6  & Fehlerbeseitigung in der File ``diff.sml``& \\\hline
     1.7 -26.7.11 & updaten des ``scr'' Directories & 7.5  \\ 
     1.8 -& Fehlersuche im ``scr'' Directory & \\ \hline
     1.9 -27.7.11 & updaten des ``scr'' Directories  &  7.5 \\
    1.10 +26.7.11 & updaten des ``program'' Directories & 7.5  \\ 
    1.11 +& Fehlersuche im ``program'' Directory & \\ \hline
    1.12 +27.7.11 & updaten des ``program'' Directories  &  7.5 \\
    1.13  & Fehlerbehebung in den Files eqsystem.thy, atools.thy & \\  \hline
    1.14  28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\
    1.15   & Fertigstellung des Protokolls  &   \\ \hline