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

     2.1 --- a/Admin/components/main	Sun Feb 10 18:12:24 2019 +0100
     2.2 +++ b/Admin/components/main	Sun Feb 10 18:16:11 2019 +0100
     2.3 @@ -4,7 +4,7 @@
     2.4  csdp-6.x
     2.5  cvc4-1.5-4
     2.6  e-2.0-2
     2.7 -isabelle_fonts-20181129
     2.8 +isabelle_fonts-20190210
     2.9  jdk-11.0.2+9
    2.10  jedit_build-20190130
    2.11  jfreechart-1.5.0

     3.1 --- a/Admin/isabelle_fonts/README	Sun Feb 10 18:12:24 2019 +0100
     3.2 +++ b/Admin/isabelle_fonts/README	Sun Feb 10 18:16:11 2019 +0100
     3.3 @@ -17,7 +17,7 @@
     3.4  
     3.5  
     3.6      Makarius
     3.7 -    29-Nov-2018
     3.8 +    10-Feb-2019
     3.9  
    3.10  
    3.11  ----------------------------------------------------------------------------