# HG changeset patch
# User paulson
# Date 1082367341 -7200
# Node ID 8086e5beef0ec4b50e39ace076c9bd774f9eaa7b
# Parent  5d137da82f03e29012d6ef110aa91ead922a869a
fixed address

diff -r 5d137da82f03 -r 8086e5beef0e README.html
--- 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>