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