updated for release;
authorwenzelm
Sun Sep 03 16:35:34 2017 +0200 (20 months ago)
changeset 66601af3cf2c859c1
parent 66600 13a1081961d2
child 66602 180b2e72601f
updated for release;
ANNOUNCE
     1.1 --- a/ANNOUNCE	Sun Sep 03 14:59:44 2017 +0200
     1.2 +++ b/ANNOUNCE	Sun Sep 03 16:35:34 2017 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -Subject: Announcing Isabelle2016-1
     1.5 +Subject: Announcing Isabelle2017
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8  Isabelle2017 is now available.