# HG changeset patch
# User wenzelm
# Date 1633199310 -7200
# Node ID 584c4db57f68061bbff96e8f7c772a2341317010
# Parent  5294a44efc49e950cb6300ec415481515bda8bfd
misc tuning for release;

diff -r 5294a44efc49 -r 584c4db57f68 CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Oct 02 20:27:13 2021 +0200
+++ b/CONTRIBUTORS	Sat Oct 02 20:28:30 2021 +0200
@@ -3,8 +3,8 @@
 listed as an author in one of the source files of this Isabelle distribution.
 
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2021-1
+-------------------------------
 
 * July 2021: Florian Haftmann
   Further consolidation of bit operations and word types.
@@ -16,7 +16,7 @@
   More context situations susceptible to global_interpretation.
 
 * March 2021: Lukas Stevens
-  New order prover
+  New order prover.
 
 * March 2021: Florian Haftmann
   Dedicated session for combinatorics.