# HG changeset patch
# User wenzelm
# Date 1633638071 -7200
# Node ID 13b74f2e1f96c4d2ae8cf424809eb0683a4e1d14
# Parent  f8ad2ee7638d55fc3f619d0b962a3a256b88c685
misc tuning for release;

diff -r f8ad2ee7638d -r 13b74f2e1f96 CONTRIBUTORS
--- a/CONTRIBUTORS	Thu Oct 07 21:43:26 2021 +0200
+++ b/CONTRIBUTORS	Thu Oct 07 22:21:11 2021 +0200
@@ -6,20 +6,21 @@
 Contributions to Isabelle2021-1
 -------------------------------
 
-* September .. October 2021: Jasmin Blanchette, Martin Desharnais,
+* September / October 2021: Jasmin Blanchette, Martin Desharnais,
     Mathias Fleury, Makarius Wenzel
-  Upgrade of automatic theorem provers in Sledgehammer and the smt tactic.
+  Upgrade of automatic theorem provers in Sledgehammer and the "smt" proof
+  method.
 
-* July .. September 2021: Makarius Wenzel
+* July - September 2021: Makarius Wenzel
   Significantly improved Isabelle/Haskell library.
 
-* July .. September 2021: Jasmin Blanchette, Martin Desharnais
+* July - September 2021: Jasmin Blanchette, Martin Desharnais
   Various improvements to Sledgehammer.
 
 * September 2021: Dominique Unruh
-  New theory of infinite sums (HOL-Analysis/Infinite_Sum), 
-  ordering of complex numbers (HOL-Library/Complex_Order),
-  and products of uniform spaces (in HOL-Analysis/Product_Vector).
+  New theory of infinite sums (theory HOL-Analysis.Infinite_Sum), ordering of
+  complex numbers (theory HOL-Library.Complex_Order), and products of uniform
+  spaces (theory HOL-Analysis.Product_Vector).
 
 * July 2021: Florian Haftmann
   Further consolidation of bit operations and word types.
@@ -37,8 +38,8 @@
   More symbol definitions for Z Notation: Isabelle fonts and LaTeX macros.
 
 * February 2021: Manuel Eberl
-  New material in HOL-Analysis/HOL-Probability, most notably Hoeffding's
-  inequality and the negative binomial distribution
+  New material in sessions HOL-Analysis and HOL-Probability, most notably
+  Hoeffding's inequality and the negative binomial distribution
 
 * January 2021: Jakub Kądziołka
   Some lemmas for HOL-Computational_Algebra.