--- a/Admin/components/main Wed Mar 27 15:01:38 2024 +0100
+++ b/Admin/components/main Wed Mar 27 15:38:41 2024 +0100
@@ -11,7 +11,7 @@
foiltex-2.1.4b
idea-icons-20210508
isabelle_fonts-20211004
-isabelle_setup-20230922
+isabelle_setup-20240327
javamail-20240109
jdk-21.0.2
jedit-20231120