# 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 ***