--- a/src/Doc/IsarRef/document/root.tex Fri Aug 02 15:42:47 2013 +0900
+++ b/src/Doc/IsarRef/document/root.tex Wed Aug 07 15:35:33 2013 +0200
@@ -40,7 +40,8 @@
Lars Noschinski, \\
David von Oheimb,
Larry Paulson,
- Sebastian Skalberg
+ Sebastian Skalberg, \\
+ Christian Sternagel
}
\makeindex