# HG changeset patch
# User wenzelm
# Date 1404586284 -7200
# Node ID b8448367f9c7bfb9ecd80fe3ab028e2b85f601cf
# Parent  1767b0f3b29b0fd29ff175a002ef65c49e2062bb
update for release;

diff -r 1767b0f3b29b -r b8448367f9c7 ANNOUNCE
--- a/ANNOUNCE	Sat Jul 05 16:29:19 2014 +0200
+++ b/ANNOUNCE	Sat Jul 05 20:51:24 2014 +0200
@@ -34,7 +34,7 @@
   isar-ref, jedit, system.
 
 
-You may get Isabelle2013-2 from the following mirror sites:
+You may get Isabelle2014 from the following mirror sites:
 
   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
   Munich (Germany)     http://isabelle.in.tum.de/