--- a/doc-src/IsarRef/isar-ref.tex Sun Sep 18 14:09:57 2011 +0200
+++ b/doc-src/IsarRef/isar-ref.tex Sun Sep 18 14:25:53 2011 +0200
@@ -25,15 +25,18 @@
With Contributions by
Clemens Ballarin,
Stefan Berghofer, \\
+ Jasmin Blanchette,
Timothy Bourke,
+ Lukas Bulwahn, \\
Lucas Dixon,
- Florian Haftmann, \\
- Gerwin Klein,
+ Florian Haftmann,
+ Gerwin Klein, \\
Alexander Krauss,
- Tobias Nipkow, \\
+ Tobias Nipkow,
+ Lars Noschinski, \\
David von Oheimb,
Larry Paulson,
- and Sebastian Skalberg
+ Sebastian Skalberg
}
\makeindex