# HG changeset patch
# User wenzelm
# Date 1610878755 -3600
# Node ID d0c8e8ca3505a71c662fe86e243269a3e441f173
# Parent  ca450d902198be5409671efbd650ce0acab45d61
revert 1105c42722dc on isabelle-release branch;

diff -r ca450d902198 -r d0c8e8ca3505 CONTRIBUTORS
--- 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
 -----------------------------
 
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)
 -----------------------------------