added Berhard Rumpe, Farhad Mehta;
authorwenzelm
Mon Mar 11 20:59:12 2002 +0100 (2002-03-11)
changeset 1305418570adc60ed
parent 13053 68ffc262c766
child 13055 cc37a0778581
added Berhard Rumpe, Farhad Mehta;
doc-src/TutorialI/free-copies
     1.1 --- a/doc-src/TutorialI/free-copies	Sun Mar 10 21:46:27 2002 +0100
     1.2 +++ b/doc-src/TutorialI/free-copies	Mon Mar 11 20:59:12 2002 +0100
     1.3 @@ -1,11 +1,13 @@
     1.4  David Aspinall
     1.5  Stefan Berghofer
     1.6  David von Oheimb
     1.7 +Farhad Mehta
     1.8 +Stephan Merz
     1.9  Leonor Prensa Nieto
    1.10  Cornelia Pusch
    1.11 +Bernhard Rumpe	(wants a signed copy!)
    1.12  Norbert Schirmer
    1.13  Martin Strecker
    1.14 -Stephan Merz
    1.15  
    1.16  Essential colleagues:
    1.17