diff -r 89e0264adf79 -r fbacdc80e1bc src/Doc/IsarRef/document/root.tex
--- a/src/Doc/IsarRef/document/root.tex	Tue Apr 01 14:24:28 2014 +0200
+++ b/src/Doc/IsarRef/document/root.tex	Wed Apr 02 17:11:44 2014 +0200
@@ -37,11 +37,12 @@
   Gerwin Klein,
   Alexander Krauss, \\
   Ond\v{r}ej Kun\v{c}ar,
-  Tobias Nipkow,
-  Lars Noschinski, \\
+  Andreas Lochbihler,
+  Tobias Nipkow, \\
+  Lars Noschinski,
   David von Oheimb,
-  Larry Paulson,
-  Sebastian Skalberg, \\
+  Larry Paulson, \\
+  Sebastian Skalberg,
   Christian Sternagel
 }