NEWS

--- a/NEWS	Tue Nov 01 01:04:53 2016 +0100
+++ b/NEWS	Tue Nov 01 01:20:33 2016 +0100
@@ -3,6 +3,10 @@
 
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
+New in this Isabelle version
+----------------------------
+
+
 
 New in Isabelle2016-1 (December 2016)
 -------------------------------------