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.
adjusted location of cambridge website
authorhaftmann
Thu, 05 Jun 2008 12:03:48 +0200
changeset 27085 dbf4f791953d
parent 27084 654bf12de98b
child 27086 b7c8b3bb8954
adjusted location of cambridge website
ANNOUNCE file | annotate | diff | comparison | revisions
README file | annotate | diff | comparison | revisions 
--- a/ANNOUNCE	Thu Jun 05 09:01:17 2008 +0200
+++ b/ANNOUNCE	Thu Jun 05 12:03:48 2008 +0200
@@ -31,6 +31,6 @@
 
 You may get Isabelle2008 from the following mirror sites:
 
-  Cambridge (UK)       http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
+  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
   Munich (Germany)     http://isabelle.in.tum.de/
   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/
--- a/README	Thu Jun 05 09:01:17 2008 +0200
+++ b/README	Thu Jun 05 12:03:48 2008 +0200
@@ -45,7 +45,7 @@
   The Isabelle Page
 
    The Isabelle home page may be accessed both from Cambridge and Munich:
-     * http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
+     * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
      * http://isabelle.in.tum.de
 
   Mailing list
isabelle