# HG changeset patch # User wenzelm # Date 1549818971 -3600 # Node ID 7e5a7a11d5d190435037d3ba1e83f80261c86191 # Parent 04c50000fad1670acb82a4ce7ab9b91e51384cb8 updated to isabelle_fonts-20190210; diff -r 04c50000fad1 -r 7e5a7a11d5d1 Admin/components/components.sha1 --- 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 diff -r 04c50000fad1 -r 7e5a7a11d5d1 Admin/components/main --- 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 diff -r 04c50000fad1 -r 7e5a7a11d5d1 Admin/isabelle_fonts/README --- 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 ----------------------------------------------------------------------------