# HG changeset patch
# User wenzelm
# Date 1504449334 -7200
# Node ID af3cf2c859c1fc9ae7b21bcca3e1f4627d47c4a0
# Parent  13a1081961d22ce2d7a62f1dfb4504631eaa963a
updated for release;

diff -r 13a1081961d2 -r af3cf2c859c1 ANNOUNCE
--- a/ANNOUNCE	Sun Sep 03 14:59:44 2017 +0200
+++ b/ANNOUNCE	Sun Sep 03 16:35:34 2017 +0200
@@ -1,4 +1,4 @@
-Subject: Announcing Isabelle2016-1
+Subject: Announcing Isabelle2017
 To: isabelle-users@cl.cam.ac.uk
 
 Isabelle2017 is now available.