diff -r a621e9fb295d -r c6c0947804d6 CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Sep 09 14:09:06 2022 +0200
+++ b/CONTRIBUTORS	Fri Sep 09 14:47:42 2022 +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 Isabelle2022
+-----------------------------
 
 * August 2022: Norbert Schirmer, Apple
   Record simproc that sorts update expressions.
@@ -25,6 +25,9 @@
   integers, sacrificing pattern patching in exchange for dramatically
   increased performance for comparisions.
 
+* November 2021, July - August 2022: Fabian Huch and Makarius Wenzel
+  Improved HTML presentation.
+
 
 Contributions to Isabelle2021-1
 -------------------------------