Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update for release;
authorwenzelm
Sat, 05 Jul 2014 20:51:24 +0200
changeset 57524 b8448367f9c7
parent 57523 1767b0f3b29b
child 57525 f9dd8a33f820
update for release;
ANNOUNCE file | annotate | diff | comparison | revisions 
--- 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/
isabelle