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 12:12:01 +0200
changeset 14629 96bcf6d0bf72
parent 14628 8086e5beef0e
child 14630 4a9cc3080dbc
fixed address
README.html file | annotate | diff | comparison | revisions 
--- a/README.html	Mon Apr 19 11:35:41 2004 +0200
+++ b/README.html	Mon Apr 19 12:12:01 2004 +0200
@@ -120,7 +120,7 @@
 England<br>
 <br>
 E-mail: <A HREF="mailto:lcp@cl.cam.ac.uk">lcp@cl.cam.ac.uk</A><br>
-Phone: +44-223-334600<br>
+Phone: +44-223-763500<br>
 Fax:   +44-223-334748<br>
 
 <p>
isabelle