--- a/Admin/components/main Thu Nov 29 15:07:18 2018 +0100
+++ b/Admin/components/main Thu Nov 29 15:17:51 2018 +0100
@@ -4,7 +4,7 @@
csdp-6.x
cvc4-1.5-4
e-2.0-2
-isabelle_fonts-20181124
+isabelle_fonts-20181129
jdk-11+28
jedit_build-20181026
jfreechart-1.5.0