Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ANNOUNCE
changeset 57524 b8448367f9c7
parent 57511 de51a86fc903
child 60016 6e6cc8c012a2 
--- 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