Admin/components/main
changeset 69343 395c4fb15ea2
parent 69191 96b633ac24f8
child 69374 ab66951166f3
--- a/Admin/components/main	Sat Nov 24 16:41:18 2018 +0100
+++ b/Admin/components/main	Sat Nov 24 18:56:44 2018 +0100
@@ -4,7 +4,7 @@
 csdp-6.x
 cvc4-1.5-4
 e-2.0-2
-isabelle_fonts-20180113
+isabelle_fonts-20181124
 jdk-11+28
 jedit_build-20181026
 jfreechart-1.5.0