changeset 14628 | 8086e5beef0e |
parent 14622 | 5275774155cf |
child 14629 | 96bcf6d0bf72 |
--- a/README.html Mon Apr 19 10:57:26 2004 +0200 +++ b/README.html Mon Apr 19 11:35:41 2004 +0200 @@ -115,8 +115,8 @@ <a href="http://www.cl.cam.ac.uk/users/lcp/">Lawrence C Paulson</a><br> Computer Laboratory<br> University of Cambridge<br> -Pembroke Street<br> -Cambridge CB2 3QG<br> +JJ Thomson Avenue<br> +Cambridge CB3 0FD<br> England<br> <br> E-mail: <A HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A><br>