# HG changeset patch
# User wenzelm
# Date 1610289324 -3600
# Node ID 802647edfe7be4478ca47a6e54e4d73733347e02
# Parent  b4066bad7f7686379af32639f7864d41c3db94fa
tuned;

diff -r b4066bad7f76 -r 802647edfe7b CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Jan 10 15:32:28 2021 +0100
+++ b/CONTRIBUTORS	Sun Jan 10 15:35:24 2021 +0100
@@ -7,10 +7,10 @@
 -----------------------------
 
 * January 2021: Manuel Eberl
-  Characteristic of a semiring
+  Characteristic of a semiring.
 
 * January 2021: Manuel Eberl
-  Algebraic integers in HOL-Computational_Algebra
+  Algebraic integers in HOL-Computational_Algebra.
 
 * December 2020: Stepan Holub
   Contributed lemmas for theory HOL.List.
diff -r b4066bad7f76 -r 802647edfe7b NEWS
--- a/NEWS	Sun Jan 10 15:32:28 2021 +0100
+++ b/NEWS	Sun Jan 10 15:35:24 2021 +0100
@@ -361,8 +361,6 @@
 
 
 
-
-
 New in Isabelle2020 (April 2020)
 --------------------------------