1.1 --- a/doc-src/TutorialI/free-copies Tue Jun 11 22:53:19 2002 +0200
1.2 +++ b/doc-src/TutorialI/free-copies Wed Jun 12 11:06:44 2002 +0200
1.3 @@ -60,6 +60,8 @@
1.4 James Margetson
1.5 Robin Milner*
1.6
1.7 +Sara Kalvala
1.8 +
1.9
1.10 (for contributing comments)
1.11