diff -r ebb03c0fa686 -r 3f8b97ceedb2 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Dec 31 12:20:10 2015 +0100
+++ b/Admin/components/components.sha1	Thu Dec 31 12:37:16 2015 +0100
@@ -37,6 +37,7 @@
 9502c1aea938021f154adadff254c5c55da344bd  isabelle_fonts-20151106.tar.gz
 f5c63689a394b974ac0d365debda577c6fa31c07  isabelle_fonts-20151107.tar.gz
 812101680b75f7fa9ee8e138ea6314fa4824ea2d  isabelle_fonts-20151229.tar.gz
+2730e1475c7d655655882e75743e0b451725a274  isabelle_fonts-20151231.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz