diff -r 3d518681bb6c -r 6d34097215be CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Jan 24 10:48:28 2025 +0100
+++ b/CONTRIBUTORS	Fri Jan 24 10:56:59 2025 +0100
@@ -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 Isabelle2025
+-----------------------------
 
 * October 2024 - January 2025: Lukas Bartl, Universität Augsburg
   Inference of variable instantiations with Metis.
@@ -12,6 +12,10 @@
 * 2024: Fabian Huch, TU München
   Find_Facts search engine: web application based on Apache Solr.
 
+* 2024: Fabian Huch, TU München
+  Build_Manager for distrubuted cluster, with web front-end (supersedes
+  Jenkins).
+
 * April - October 2024: Thomas Lindae and Fabian Huch, TU München
   Improvements to the language server for Isabelle/VSCode.