NEWS
changeset 62016 740c70a21523
parent 62014 446fcbadc6bf
child 62017 038ee85c95e4
     1.1 --- a/NEWS	Thu Dec 31 20:57:00 2015 +0100
     1.2 +++ b/NEWS	Thu Dec 31 21:06:09 2015 +0100
     1.3 @@ -4,8 +4,8 @@
     1.4  (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
     1.5  
     1.6  
     1.7 -New in this Isabelle version
     1.8 -----------------------------
     1.9 +New in Isabelle2016 (February 2015)
    1.10 +-----------------------------------
    1.11  
    1.12  *** General ***
    1.13