changeset 62197 | f354900ac0ea |
parent 62190 | ec5703538300 |
child 64072 | 9f96e4da3064 |
--- a/ANNOUNCE Sun Jan 17 17:56:33 2016 +0100 +++ b/ANNOUNCE Mon Jan 18 14:59:59 2016 +0100 @@ -32,3 +32,4 @@ 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 + Potsdam, NY (USA) http://mirror.clarkson.edu/isabelle