--- a/src/Doc/IsarRef/document/root.tex Tue Nov 20 13:27:24 2012 +0100
+++ b/src/Doc/IsarRef/document/root.tex Tue Nov 20 14:29:46 2012 +0100
@@ -29,15 +29,16 @@
Jasmin Blanchette,
Timothy Bourke,
Lukas Bulwahn, \\
+ Amine Chaieb,
Lucas Dixon,
- Florian Haftmann,
- Brian Huffman, \\
+ Florian Haftmann, \\
+ Brian Huffman,
Gerwin Klein,
- Alexander Krauss,
- Ond\v{r}ej Kun\v{c}ar, \\
+ Alexander Krauss, \\
+ Ond\v{r}ej Kun\v{c}ar,
Tobias Nipkow,
- Lars Noschinski,
- David von Oheimb, \\
+ Lars Noschinski, \\
+ David von Oheimb,
Larry Paulson,
Sebastian Skalberg
}