# HG changeset patch
# User wenzelm
# Date 1451673768 -3600
# Node ID 8b50da907602fbbc2f969520b49ff8c2871d0067
# Parent  2b46a93e829cc6c2fe169c2a6b5ab5f7db00fb8d
oops;

diff -r 2b46a93e829c -r 8b50da907602 NEWS
--- 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 ***