--- a/ANNOUNCE Sun May 19 19:05:24 2019 +0200 +++ b/ANNOUNCE Tue May 21 14:35:26 2019 +0200 @@ -1,4 +1,4 @@ -Subject: Announcing Isabelle2018 +Subject: Announcing Isabelle2019 To: isabelle-users@cl.cam.ac.uk Isabelle2019 is now available.