# HG changeset patch
# User haftmann
# Date 1237373848 -3600
# Node ID 696f93184f0d3ee01b8f48a54f879d2b6ee7cb7a
# Parent  e6a55291102e6685be0f928ebdb49f04275102d8
tuned interpunctation

diff -r e6a55291102e -r 696f93184f0d doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Tue Mar 17 19:53:57 2009 +0100
+++ b/doc-src/IsarRef/isar-ref.tex	Wed Mar 18 11:57:28 2009 +0100
@@ -24,7 +24,7 @@
   With Contributions by
   Clemens Ballarin,
   Stefan Berghofer, \\
-  Timothy Bourke
+  Timothy Bourke,
   Lucas Dixon,
   Florian Haftmann, \\
   Gerwin Klein,