diff -r dec7cc38a5dc -r 6dc5506ad449 Admin/components/main
--- a/Admin/components/main	Sat Mar 09 13:24:59 2019 +0100
+++ b/Admin/components/main	Sat Mar 09 13:35:49 2019 +0100
@@ -4,7 +4,7 @@
 csdp-6.x
 cvc4-1.5-4
 e-2.0-2
-isabelle_fonts-20190210
+isabelle_fonts-20190309
 jdk-11.0.2+9
 jedit_build-20190224
 jfreechart-1.5.0