--- a/CONTRIBUTORS Sun Jan 17 00:16:14 2021 +0100
+++ b/CONTRIBUTORS Sun Jan 17 11:19:15 2021 +0100
@@ -3,10 +3,6 @@
listed as an author in one of the source files of this Isabelle distribution.
-Contributions to this Isabelle version
---------------------------------------
-
-
Contributions to Isabelle2021
-----------------------------
--- 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)
-----------------------------------