--- a/Admin/components/main Mon Feb 06 10:20:12 2023 +0100
+++ b/Admin/components/main Mon Feb 06 10:30:53 2023 +0100
@@ -12,7 +12,7 @@
foiltex-2.1.4b
idea-icons-20210508
isabelle_fonts-20211004
-isabelle_setup-20221028
+isabelle_setup-20230206
jdk-17.0.6
jedit-20211103
jfreechart-1.5.3