updated mirrors according to website;
authorwenzelm
Mon Jan 18 14:59:59 2016 +0100 (2016-01-18)
changeset 62197f354900ac0ea
parent 62196 66fb3d1767f2
child 62198 7217adc19be9
updated mirrors according to website;
ANNOUNCE
README
     1.1 --- a/ANNOUNCE	Sun Jan 17 17:56:33 2016 +0100
     1.2 +++ b/ANNOUNCE	Mon Jan 18 14:59:59 2016 +0100
     1.3 @@ -32,3 +32,4 @@
     1.4    Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
     1.5    Munich (Germany)     http://isabelle.in.tum.de
     1.6    Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
     1.7 +  Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle
     2.1 --- a/README	Sun Jan 17 17:56:33 2016 +0100
     2.2 +++ b/README	Mon Jan 18 14:59:59 2016 +0100
     2.3 @@ -31,12 +31,13 @@
     2.4  
     2.5    The Isabelle Page
     2.6  
     2.7 -   The Isabelle home page may be accessed from Cambridge, Munich, and
     2.8 -   Sydney:
     2.9 +   The Isabelle home page may be accessed from the following mirror
    2.10 +   sites:
    2.11  
    2.12       * http://www.cl.cam.ac.uk/research/hvg/Isabelle
    2.13       * http://isabelle.in.tum.de
    2.14       * http://mirror.cse.unsw.edu.au/pub/isabelle
    2.15 +     * http://mirror.clarkson.edu/isabelle
    2.16  
    2.17    Mailing list
    2.18