# HG changeset patch
# User wenzelm
# Date 1452956258 -3600
# Node ID ec5703538300f4bfad5b5b13226e90fd2e3752b6
# Parent  116f41763b2b11b8fa7c6b98d8e0ff9ab39eccbe
tuned URLs according to website;

diff -r 116f41763b2b -r ec5703538300 ANNOUNCE
--- a/ANNOUNCE	Sat Jan 16 15:04:31 2016 +0100
+++ b/ANNOUNCE	Sat Jan 16 15:57:38 2016 +0100
@@ -29,6 +29,6 @@
 
 You may get Isabelle2016 from the following mirror sites:
 
-  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/
+  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
diff -r 116f41763b2b -r ec5703538300 README
--- a/README	Sat Jan 16 15:04:31 2016 +0100
+++ b/README	Sat Jan 16 15:57:38 2016 +0100
@@ -34,9 +34,9 @@
    The Isabelle home page may be accessed from Cambridge, Munich, and
    Sydney:
 
-     * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
+     * http://www.cl.cam.ac.uk/research/hvg/Isabelle
      * http://isabelle.in.tum.de
-     * http://mirror.cse.unsw.edu.au/pub/isabelle/index.html
+     * http://mirror.cse.unsw.edu.au/pub/isabelle
 
   Mailing list