# HG changeset patch # User nipkow # Date 1014724300 -3600 # Node ID 2e22321e34ea39fb13bcf0cc4ff8a6892c30ef90 # Parent 3f468029f5dad822e91d372f5ca6c2b8821fb97d *** empty log message *** diff -r 3f468029f5da -r 2e22321e34ea doc-src/TutorialI/free-copies --- a/doc-src/TutorialI/free-copies Tue Feb 26 12:43:18 2002 +0100 +++ b/doc-src/TutorialI/free-copies Tue Feb 26 12:51:40 2002 +0100 @@ -6,3 +6,8 @@ Norbert Schirmer Martin Strecker Stephan Merz + +Harald Ganzinger +Bob Boyer +J Moore +Shankar