--- a/NEWS Fri Jan 01 16:51:04 2016 +0100
+++ b/NEWS Fri Jan 01 19:42:48 2016 +0100
@@ -4,7 +4,7 @@
(Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
-New in Isabelle2016 (February 2015)
+New in Isabelle2016 (February 2016)
-----------------------------------
*** General ***