diff -r fc35958d2e73 -r d0a1f3eb0982 Admin/components/main
--- 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