--- a/Admin/components/main Thu Mar 18 21:36:19 2021 +0100
+++ b/Admin/components/main Thu Mar 18 21:49:19 2021 +0100
@@ -5,7 +5,7 @@
cvc4-1.8
e-2.5-1
flatlaf-1.0
-isabelle_fonts-20210317
+isabelle_fonts-20210318
jdk-15.0.2+7
jedit_build-20210201
jfreechart-1.5.1