1.1 --- a/doc-src/isac/akargl/ferialprakt.tex Fri Jul 15 13:51:50 2011 +0200
1.2 +++ b/doc-src/isac/akargl/ferialprakt.tex Fri Jul 15 16:55:47 2011 +0200
1.3 @@ -6,10 +6,10 @@
1.4 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
1.5
1.6 \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\
1.7 - der Technischen Universit\"at Graz\\
1.8 - Arbeitsprotokoll}
1.9 + der Technischen Universit\"at Graz\\ \
1.10 + \\Arbeitsprotokoll}
1.11 \author{Alexander Kargl\\
1.12 - xxx@yyy}
1.13 + akargl@brgkepler.net}
1.14 \date{\today}
1.15
1.16 \begin{document}
1.17 @@ -29,34 +29,23 @@
1.18 & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\ \hline
1.19 13.7.2011
1.20 & Einf\"uhrung Latex & 1.0 \\
1.21 - & Einf\"uhrung ML & 1.5 \\
1.22 + & Einf\"uhrung ML I & 1.5 \\
1.23 & Konfiguration von Mercurial & 1.5 \\
1.24 & ML-Programmierung/Einf\"uhrung & 3.5 \\ \hline
1.25 14.7.2011
1.26 - & Einf\"uhrung ML & 1.5 \\
1.27 - & Programmierung ML & 2 \\
1.28 - & Einf\"uhrung ML II & 1 \\
1.29 - & Erstellung v. Beispielen f\"ur Kombinatoren in ML & 3 \\
1.30 - & & \\
1.31 - & & \\
1.32 + & Einf\"uhrung ML II & 1.5 \\
1.33 + & Programmierung ML & 2.0 \\
1.34 + & Einf\"uhrung ML III & 1.0 \\
1.35 + & Erstellung v. Beispielen f\"ur Kombinatoren in ML & 3.0 \\ \hline
1.36 +15.7.2011
1.37 + & Einf\"uhrung ML/\sisac\ IV & 1.0 \\
1.38 + & ML- Programmierung & 2.5 \\
1.39 + & Einf\"uhrung ML/\sisac\ V & 1.0 \\
1.40 + & ML- Programmierung & 3.0 \\
1.41 + & & \\
1.42 \end{tabular}
1.43 \end{center}
1.44
1.45 -\begin{center}
1.46 -\begin{tabular}{l|l|r}
1.47 -Datum & T\"atigkeit & Std. \\ \hline
1.48 -xx.7.11 & & \\
1.49 - & & \\
1.50 - & & \\
1.51 - & & \\
1.52 - & & \\
1.53 - & & \\
1.54 - & & \\
1.55 - & & \\
1.56 - & & \\
1.57 - & & \\
1.58 -\end{tabular}
1.59 -\end{center}
1.60
1.61 \section{R\"uckblick auf das Praktikum}
1.62 TODO