# HG changeset patch
# User wenzelm
# Date 1316348753 -7200
# Node ID 1db165e0bd9736aae2381bd115da85283070f240
# Parent  9e17d632a9edfa658c35fcde5f1fb693278e25cd
more contributors;

diff -r 9e17d632a9ed -r 1db165e0bd97 doc-src/IsarRef/isar-ref.tex
--- 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