CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Nov 03 20:53:52 2021 +0100
+++ b/CONTRIBUTORS	Wed Nov 03 21:06:04 2021 +0100
@@ -22,6 +22,9 @@
   complex numbers (theory HOL-Library.Complex_Order), and products of uniform
   spaces (theory HOL-Analysis.Product_Vector).
 
+* August 2021: Fabian Huch, TU München
+  Improved HTML presentation: links to formal entities.
+
 * November 2020 / July 2021: Norbert Schirmer, Apple
   Various improvements and cleanup of session "HOL-Statespace".