# HG changeset patch
# User wenzelm
# Date 1235914587 -3600
# Node ID 6889bfc0380471d1abfeb7c4af3f5a9796d02033
# Parent  37969710e61f22d00f5b838f8a05f3a3c6042e0e
updated contributors;

diff -r 37969710e61f -r 6889bfc03804 doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Sun Mar 01 13:48:17 2009 +0100
+++ b/doc-src/IsarRef/isar-ref.tex	Sun Mar 01 14:36:27 2009 +0100
@@ -24,12 +24,13 @@
   With Contributions by
   Clemens Ballarin,
   Stefan Berghofer, \\
+  Timothy Bourke
   Lucas Dixon,
-  Florian Haftmann,
-  Gerwin Klein, \\
+  Florian Haftmann, \\
+  Gerwin Klein,
   Alexander Krauss,
-  Tobias Nipkow,
-  David von Oheimb, \\
+  Tobias Nipkow, \\
+  David von Oheimb,
   Larry Paulson,
   and Sebastian Skalberg
 }