equal
deleted
inserted
replaced
|
1 \documentclass[a4paper,12pt]{article} |
|
2 \usepackage{ngerman} |
|
3 |
|
4 |
|
5 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
|
6 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
|
7 |
|
8 \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\ |
|
9 der Technischen Universit\"at Graz\\ |
|
10 Arbeitsprotokoll} |
|
11 \author{Thomas Leh\\ |
|
12 xxx@yyy} |
|
13 \date{\today} |
|
14 |
|
15 \begin{document} |
|
16 \maketitle |
|
17 |
|
18 \section{Urspr\"ungliche Erwartungen} |
|
19 TODO |
|
20 |
|
21 \section{Arbeitsprotokoll} |
|
22 \begin{center} |
|
23 \begin{tabular}{l|l|r} |
|
24 Datum & T\"atigkeit & Std. \\ \hline |
|
25 12.7.11 |
|
26 & Demonstration des ``educational math assistant \sisac'' & 1.0\\ |
|
27 & Demonstration des Theorem Provers Isabelle & 0.5\\ |
|
28 & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\ |
|
29 & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\ \hline |
|
30 13.7.11 & & \\ |
|
31 & & \\ |
|
32 & & \\ |
|
33 & & \\ |
|
34 & & \\ |
|
35 & & \\ |
|
36 & & \\ |
|
37 & & \\ |
|
38 & & \\ |
|
39 & & \\ |
|
40 \end{tabular} |
|
41 \end{center} |
|
42 |
|
43 \begin{center} |
|
44 \begin{tabular}{l|l|r} |
|
45 Datum & T\"atigkeit & Std. \\ \hline |
|
46 xx.7.11 & & \\ |
|
47 & & \\ |
|
48 & & \\ |
|
49 & & \\ |
|
50 & & \\ |
|
51 & & \\ |
|
52 & & \\ |
|
53 & & \\ |
|
54 & & \\ |
|
55 & & \\ |
|
56 \end{tabular} |
|
57 \end{center} |
|
58 |
|
59 \section{R\"uckblick auf das Praktikum} |
|
60 TODO |
|
61 |
|
62 |
|
63 \end{document} |