diff -r 66fb3d1767f2 -r f354900ac0ea README --- a/README Sun Jan 17 17:56:33 2016 +0100 +++ b/README Mon Jan 18 14:59:59 2016 +0100 @@ -31,12 +31,13 @@ The Isabelle Page - The Isabelle home page may be accessed from Cambridge, Munich, and - Sydney: + The Isabelle home page may be accessed from the following mirror + sites: * http://www.cl.cam.ac.uk/research/hvg/Isabelle * http://isabelle.in.tum.de * http://mirror.cse.unsw.edu.au/pub/isabelle + * http://mirror.clarkson.edu/isabelle Mailing list