# HG changeset patch # User wenzelm # Date 1015876752 -3600 # Node ID 18570adc60ed18365acf8b6ab2945dd3beee8478 # Parent 68ffc262c76612833ed2395f4b5f2aa7ec3f5887 added Berhard Rumpe, Farhad Mehta; diff -r 68ffc262c766 -r 18570adc60ed doc-src/TutorialI/free-copies --- a/doc-src/TutorialI/free-copies Sun Mar 10 21:46:27 2002 +0100 +++ b/doc-src/TutorialI/free-copies Mon Mar 11 20:59:12 2002 +0100 @@ -1,11 +1,13 @@ David Aspinall Stefan Berghofer David von Oheimb +Farhad Mehta +Stephan Merz Leonor Prensa Nieto Cornelia Pusch +Bernhard Rumpe (wants a signed copy!) Norbert Schirmer Martin Strecker -Stephan Merz Essential colleagues: