Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed address
authorpaulson
Mon, 19 Apr 2004 11:35:41 +0200
changeset 14628 8086e5beef0e
parent 14627 5d137da82f03
child 14629 96bcf6d0bf72
fixed address
README.html file | annotate | diff | comparison | revisions 
--- 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>
isabelle