--- a/Admin/components/main Mon Mar 22 10:49:51 2021 +0000
+++ b/Admin/components/main Mon Mar 22 17:24:42 2021 +0100
@@ -5,7 +5,7 @@
cvc4-1.8
e-2.5-1
flatlaf-1.0
-isabelle_fonts-20210321
+isabelle_fonts-20210322
jdk-15.0.2+7
jedit_build-20210201
jfreechart-1.5.1