# HG changeset patch # User paulson # Date 1023872804 -7200 # Node ID 254b3967ac12447ecb0d8eeacccba81db688bd37 # Parent e62a6bd3f08526c9da01263dc8fc1049e84340d3 extra copy to sk diff -r e62a6bd3f085 -r 254b3967ac12 doc-src/TutorialI/free-copies --- a/doc-src/TutorialI/free-copies Tue Jun 11 22:53:19 2002 +0200 +++ b/doc-src/TutorialI/free-copies Wed Jun 12 11:06:44 2002 +0200 @@ -60,6 +60,8 @@ James Margetson Robin Milner* +Sara Kalvala + (for contributing comments)