diff -r ca450d902198 -r d0c8e8ca3505 NEWS
--- a/NEWS	Sun Jan 17 00:16:14 2021 +0100
+++ b/NEWS	Sun Jan 17 11:19:15 2021 +0100
@@ -4,11 +4,6 @@
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
 
-New in this Isabelle version
-----------------------------
-
-
-
 New in Isabelle2021 (February 2021)
 -----------------------------------