ANNOUNCE
changeset 70471 9d7256d23ae3
parent 70293 491453ea09bb
child 71698 29e297fd5473
equal deleted inserted replaced
70470:be248d734a5d 70471:9d7256d23ae3
     1 Subject: Announcing Isabelle2018
     1 Subject: Announcing Isabelle2019
     2 To: isabelle-users@cl.cam.ac.uk
     2 To: isabelle-users@cl.cam.ac.uk
     3 
     3 
     4 Isabelle2019 is now available.
     4 Isabelle2019 is now available.
     5 
     5 
     6 This version introduces many changes over Isabelle2018: see the NEWS
     6 This version introduces many changes over Isabelle2018: see the NEWS