1.1 --- a/doc-src/TutorialI/free-copies	Thu May 09 17:51:19 2002 +0200
     1.2 +++ b/doc-src/TutorialI/free-copies	Thu May 09 17:59:46 2002 +0200
     1.3 @@ -54,11 +54,11 @@
     1.4  
     1.5  Cambridge people:
     1.6  Tony Hoare
     1.7 -Mike Gordon
     1.8 +Mike Gordon*
     1.9  Sidi Ehmety
    1.10 -Frederic Blanqui
    1.11 +Frederic Blanqui*
    1.12  James Margetson
    1.13 -Robin Milner
    1.14 +Robin Milner*
    1.15  
    1.16  
    1.17  (for contributing comments)