--- a/Admin/components/main Sat Jan 13 20:30:52 2018 +0100
+++ b/Admin/components/main Sat Jan 13 21:41:36 2018 +0100
@@ -4,7 +4,7 @@
csdp-6.x
cvc4-1.5-3
e-2.0-1
-isabelle_fonts-20171230
+isabelle_fonts-20180113
jdk-8u152
jedit_build-20170319
jfreechart-1.0.14-1