
diff -r a0749ce05100 -r 36ee816b5ee3 doc-src/TutorialI/IsarOverview/Isar/document/root.tex
--- a/doc-src/TutorialI/IsarOverview/Isar/document/root.tex	Fri Aug 23 11:08:01 2002 +0200
+++ b/doc-src/TutorialI/IsarOverview/Isar/document/root.tex	Fri Aug 23 17:10:47 2002 +0200
@@ -37,7 +37,8 @@
 
 {\small
 \paragraph{Acknowledgment}
-I am deeply indebted to Markus Wenzel for conceiving Isar. Stefan Berghofer,
+I am deeply indebted to Markus Wenzel for conceiving Isar. Clemens Ballarin,
+Stefan Berghofer,
 Gerwin Klein, Norbert Schirmer and Markus Wenzel commented on this document.
 }
 




