# HG changeset patch
# User wenzelm
# Date 1335986511 -7200
# Node ID fa7f5755b27a528d09da51035b38937a4cffbfac
# Parent  4debfc16dbde405ff545182c18a61253951c07e5
more contributors;

diff -r 4debfc16dbde -r fa7f5755b27a doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Wed May 02 21:15:38 2012 +0200
+++ b/doc-src/IsarRef/isar-ref.tex	Wed May 02 21:21:51 2012 +0200
@@ -30,11 +30,13 @@
   Lukas Bulwahn, \\
   Lucas Dixon,
   Florian Haftmann,
-  Gerwin Klein, \\
+  Brian Huffman, \\
+  Gerwin Klein,
   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
 }