# HG changeset patch # User nipkow # Date 1018619661 -7200 # Node ID c9765a59ae6f0999d53e35c46abeb550d09a1ad9 # Parent 8f5d8751f401c52d66b801ff85a92171adc2fee3 *** empty log message *** diff -r 8f5d8751f401 -r c9765a59ae6f doc-src/TutorialI/free-copies --- a/doc-src/TutorialI/free-copies Mon Apr 08 14:41:00 2002 +0200 +++ b/doc-src/TutorialI/free-copies Fri Apr 12 15:54:21 2002 +0200 @@ -3,15 +3,16 @@ David Aspinall* Clemens Ballarin* Gertrud Bauer* -Stefan Berghofer +Stefan Berghofer* +Gerwin Klein David von Oheimb Farhad Mehta* Stephan Merz Leonor Prensa Nieto* Cornelia Pusch -Bernhard Rumpe (wants a signed copy!) +Bernhard Rumpe (wants a signed copy!)* Norbert Schirmer* -Martin Strecker +Martin Strecker* Essential colleagues: