| changeset 13519 | 36ee816b5ee3 |
| parent 13351 | bc1fb6941b54 |
| child 13580 | a0febf6b0e9f |
--- 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. }