oops;
authorwenzelm
Fri Jan 01 19:42:48 2016 +0100 (2016-01-01)
changeset 620318b50da907602
parent 62030 2b46a93e829c
child 62032 620d3f63ead1
oops;
NEWS
     1.1 --- a/NEWS	Fri Jan 01 16:51:04 2016 +0100
     1.2 +++ b/NEWS	Fri Jan 01 19:42:48 2016 +0100
     1.3 @@ -4,7 +4,7 @@
     1.4  (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
     1.5  
     1.6  
     1.7 -New in Isabelle2016 (February 2015)
     1.8 +New in Isabelle2016 (February 2016)
     1.9  -----------------------------------
    1.10  
    1.11  *** General ***