CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Oct 02 10:51:11 2024 +0200
+++ b/CONTRIBUTORS	Wed Oct 02 13:50:01 2024 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* April - October 2024: Thomas Lindae and Fabian Huch, TU München
+  Improvements to the language server for Isabelle/VSCode.
+
 * June - July 2024: Fabian Huch
   New Build_Manager module to coordinate CI and user builds, replacing
   the previous Jenkins integration.