# HG changeset patch
# User paulson
# Date 1020959986 -7200
# Node ID 1865e8004fd8def2421d4b3d2125c726e2ed7f45
# Parent  97e83120d6c8a195b5e09d7c63db66f777bf58af
Cambridge

diff -r 97e83120d6c8 -r 1865e8004fd8 doc-src/TutorialI/free-copies
--- a/doc-src/TutorialI/free-copies	Thu May 09 17:51:19 2002 +0200
+++ b/doc-src/TutorialI/free-copies	Thu May 09 17:59:46 2002 +0200
@@ -54,11 +54,11 @@
 
 Cambridge people:
 Tony Hoare
-Mike Gordon
+Mike Gordon*
 Sidi Ehmety
-Frederic Blanqui
+Frederic Blanqui*
 James Margetson
-Robin Milner
+Robin Milner*
 
 
 (for contributing comments)