updated to isabelle_fonts-20190210;

--- a/Admin/components/components.sha1	Sun Feb 10 18:12:24 2019 +0100
+++ b/Admin/components/components.sha1	Sun Feb 10 18:16:11 2019 +0100
@@ -77,6 +77,7 @@
 3affbb306baff37c360319b21cbaa2cc96ebb282  isabelle_fonts-20180113.tar.gz
 bee32019e5d7cf096ef2ea1d836c732e9a7628cc  isabelle_fonts-20181124.tar.gz
 f249bc2c85bd2af9eee509de17187a766b74ab86  isabelle_fonts-20181129.tar.gz
+928b5320073d04d93bcc5bc4347b6d01632b9d45  isabelle_fonts-20190210.tar.gz
 0b2206f914336dec4923dd0479d8cee4b904f544  jdk-11+28.tar.gz
 3e05213cad47dbef52804fe329395db9b4e57f39  jdk-11.0.2+9.tar.gz
 71d19df63816e9be1c4c5eb44aea7a44cfadb319  jdk-11.tar.gz

--- a/Admin/components/main	Sun Feb 10 18:12:24 2019 +0100
+++ b/Admin/components/main	Sun Feb 10 18:16:11 2019 +0100
@@ -4,7 +4,7 @@
 csdp-6.x
 cvc4-1.5-4
 e-2.0-2
-isabelle_fonts-20181129
+isabelle_fonts-20190210
 jdk-11.0.2+9
 jedit_build-20190130
 jfreechart-1.5.0

--- a/Admin/isabelle_fonts/README	Sun Feb 10 18:12:24 2019 +0100
+++ b/Admin/isabelle_fonts/README	Sun Feb 10 18:16:11 2019 +0100
@@ -17,7 +17,7 @@
 
 
     Makarius
-    29-Nov-2018
+    10-Feb-2019
 
 
 ----------------------------------------------------------------------------