1.1 --- a/ANNOUNCE	Sat Jul 05 16:29:19 2014 +0200
     1.2 +++ b/ANNOUNCE	Sat Jul 05 20:51:24 2014 +0200
     1.3 @@ -34,7 +34,7 @@
     1.4    isar-ref, jedit, system.
     1.5  
     1.6  
     1.7 -You may get Isabelle2013-2 from the following mirror sites:
     1.8 +You may get Isabelle2014 from the following mirror sites:
     1.9  
    1.10    Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    1.11    Munich (Germany)     http://isabelle.in.tum.de/