equal
deleted
inserted
replaced
35 Florian Haftmann, \\ |
35 Florian Haftmann, \\ |
36 Brian Huffman, |
36 Brian Huffman, |
37 Gerwin Klein, |
37 Gerwin Klein, |
38 Alexander Krauss, \\ |
38 Alexander Krauss, \\ |
39 Ond\v{r}ej Kun\v{c}ar, |
39 Ond\v{r}ej Kun\v{c}ar, |
40 Tobias Nipkow, |
40 Andreas Lochbihler, |
41 Lars Noschinski, \\ |
41 Tobias Nipkow, \\ |
|
42 Lars Noschinski, |
42 David von Oheimb, |
43 David von Oheimb, |
43 Larry Paulson, |
44 Larry Paulson, \\ |
44 Sebastian Skalberg, \\ |
45 Sebastian Skalberg, |
45 Christian Sternagel |
46 Christian Sternagel |
46 } |
47 } |
47 |
48 |
48 \makeindex |
49 \makeindex |
49 |
50 |