# HG changeset patch
# User wenzelm
# Date 1608555792 -3600
# Node ID 31ff3c9629372c22f59921b66fbafb6003f62805
# Parent  162b71f7e55427e4fe4f65874d1f8f4768642cda
misc tuning for release;

diff -r 162b71f7e554 -r 31ff3c962937 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Dec 21 13:58:11 2020 +0100
+++ b/CONTRIBUTORS	Mon Dec 21 14:03:12 2020 +0100
@@ -3,32 +3,32 @@
 listed as an author in one of the source files of this Isabelle distribution.
 
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2021
+-----------------------------
 
 * December 2020: Martin Desharnais
-  Zipperposition 2.0 as external prover for Sledgehammer (experimental).
+  Zipperposition 2.0 as external prover for Sledgehammer.
 
-* December 2020 Walter Guttmann
-  Extension of session HOL/Hoare with total correctness proof system
+* December 2020: Walter Guttmann
+  Extension of session HOL-Hoare with total correctness proof system.
 
 * November 2020: Stepan Holub
-  Removed preconditions from lemma comm_append_are_replicate
+  Removed preconditions from lemma comm_append_are_replicate.
 
 * November 2020: Florian Haftmann
   Bundle mixins for locale and class expressions.
 
 * November 2020: Jakub Kądziołka
-  Stronger lemmas about orders of group elements (generate_pow_card)
+  Stronger lemmas about orders of group elements (generate_pow_card).
 
 * October 2020: Jasmin Blanchette, Martin Desharnais, Mathias Fleury
-  Use veriT in proof preplay in Sledgehammer.
+  Support veriT as external prover in Sledgehammer.
 
 * October 2020: Mathias Fleury
   Updated proof reconstruction for the SMT solver veriT in the smt method.
 
 * October 2020: Jasmin Blanchette, Martin Desharnais
-  Integration of E 2.5 for Sledgehammer.
+  Support E prover 2.5 as external prover in Sledgehammer.
 
 * September 2020: Florian Haftmann
   Substantial reworking and modularization of Word library, with
@@ -38,7 +38,7 @@
   Improved monitoring of runtime statistics: ML GC progress and Java.
 
 * July 2020: Martin Desharnais
-  Integration of Metis 2.4.
+  Update to Metis 2.4.
 
 * June 2020: Makarius Wenzel
   Batch-builds via "isabelle build" allow to invoke Scala from ML.
diff -r 162b71f7e554 -r 31ff3c962937 COPYRIGHT
--- a/COPYRIGHT	Mon Dec 21 13:58:11 2020 +0100
+++ b/COPYRIGHT	Mon Dec 21 14:03:12 2020 +0100
@@ -1,6 +1,6 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (c) 1986-2020,
+Copyright (c) 1986-2021,
   University of Cambridge,
   Technische Universitaet Muenchen,
   and contributors.
diff -r 162b71f7e554 -r 31ff3c962937 NEWS
--- a/NEWS	Mon Dec 21 13:58:11 2020 +0100
+++ b/NEWS	Mon Dec 21 14:03:12 2020 +0100
@@ -4,8 +4,8 @@
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2021 (February 2021)
+-----------------------------------
 
 *** General ***