diff -r 2d21591967bc -r 7dc86a284456 Admin/components/main
--- a/Admin/components/main	Tue Aug 30 09:04:40 2016 +0200
+++ b/Admin/components/main	Tue Aug 30 14:47:23 2016 +0200
@@ -4,7 +4,7 @@
 cvc4-1.5pre-3
 e-1.8
 Haskabelle-2015
-isabelle_fonts-20160812-1
+isabelle_fonts-20160830
 jdk-8u102
 jedit_build-20160330
 jfreechart-1.0.14-1