NEWS
changeset 64072 9f96e4da3064
parent 64013 048b7dbfdfa3
child 64073 cffd5f537206
     1.1 --- a/NEWS	Fri Oct 07 09:29:11 2016 +0200
     1.2 +++ b/NEWS	Fri Oct 07 10:23:50 2016 +0200
     1.3 @@ -4,8 +4,8 @@
     1.4  (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
     1.5  
     1.6  
     1.7 -New in this Isabelle version
     1.8 -----------------------------
     1.9 +New in Isabelle2016-1 (December 2016)
    1.10 +-------------------------------------
    1.11  
    1.12  *** General ***
    1.13