--- a/NEWS Sun Dec 18 21:58:13 2016 +0100 +++ b/NEWS Sun Dec 18 22:14:53 2016 +0100 @@ -3,6 +3,7 @@ (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.) + New in this Isabelle version ----------------------------