--- 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
-------------------------------