--- 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
--- 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