--- a/Admin/components/main Mon Oct 31 17:59:33 2022 +0100
+++ b/Admin/components/main Mon Oct 31 21:44:34 2022 +0100
@@ -8,6 +8,7 @@
e-2.6-1
easychair-3.5
flatlaf-2.4
+foiltex-2.1.4b
idea-icons-20210508
isabelle_fonts-20211004
isabelle_setup-20221028