*** empty log message ***
authornipkow
Tue, 26 Feb 2002 12:51:40 +0100
changeset 129482e22321e34ea
parent 12947 3f468029f5da
child 12949 b94843ffc0d1
*** empty log message ***
doc-src/TutorialI/free-copies
     1.1 --- a/doc-src/TutorialI/free-copies	Tue Feb 26 12:43:18 2002 +0100
     1.2 +++ b/doc-src/TutorialI/free-copies	Tue Feb 26 12:51:40 2002 +0100
     1.3 @@ -6,3 +6,8 @@
     1.4  Norbert Schirmer
     1.5  Martin Strecker
     1.6  Stephan Merz
     1.7 +
     1.8 +Harald Ganzinger
     1.9 +Bob Boyer
    1.10 +J Moore
    1.11 +Shankar