proper version;
authorwenzelm
Tue May 21 14:35:26 2019 +0200 (4 months ago)
changeset 702869d7256d23ae3
parent 70285 be248d734a5d
child 70287 b0fd8167bb9b
proper version;
ANNOUNCE
     1.1 --- a/ANNOUNCE	Sun May 19 19:05:24 2019 +0200
     1.2 +++ b/ANNOUNCE	Tue May 21 14:35:26 2019 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -Subject: Announcing Isabelle2018
     1.5 +Subject: Announcing Isabelle2019
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8  Isabelle2019 is now available.