ANNOUNCE
changeset 66601 af3cf2c859c1
parent 66478 439296f00ab5
child 66640 c61c957b0439
equal deleted inserted replaced
66600:13a1081961d2 66601:af3cf2c859c1
     1 Subject: Announcing Isabelle2016-1
     1 Subject: Announcing Isabelle2017
     2 To: isabelle-users@cl.cam.ac.uk
     2 To: isabelle-users@cl.cam.ac.uk
     3 
     3 
     4 Isabelle2017 is now available.
     4 Isabelle2017 is now available.
     5 
     5 
     6 This version introduces many changes over Isabelle2016-1: see the NEWS
     6 This version introduces many changes over Isabelle2016-1: see the NEWS