--- a/Admin/components/components.sha1 Sat Nov 07 00:28:42 2015 +0100
+++ b/Admin/components/components.sha1 Sat Nov 07 12:53:22 2015 +0100
@@ -33,6 +33,7 @@
20b53cfc3ffc5b15c1eabc91846915b49b4c0367 isabelle_fonts-20151021.tar.gz
736844204b2ef83974cd9f0a215738b767958c41 isabelle_fonts-20151104.tar.gz
9502c1aea938021f154adadff254c5c55da344bd isabelle_fonts-20151106.tar.gz
+f5c63689a394b974ac0d365debda577c6fa31c07 isabelle_fonts-20151107.tar.gz
8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz