# HG changeset patch
# User wenzelm
# Date 1563391923 -7200
# Node ID 2b4c40722f0bb5d156da1614f3fed7f8125e2802
# Parent  2d337a2a561a6d27100e891dc85d2c76f2c55b63
updated to isabelle_fonts-20190717;

diff -r 2d337a2a561a -r 2b4c40722f0b Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Jul 17 17:12:57 2019 +0200
+++ b/Admin/components/components.sha1	Wed Jul 17 21:32:03 2019 +0200
@@ -87,6 +87,7 @@
 dfcdf9a757b9dc36cee87f82533b43c58ba84abe  isabelle_fonts-20190309.tar.gz
 95e3acf038df7fdeeacd8b4769930e6f57bf3692  isabelle_fonts-20190406.tar.gz
 dabcf5085d67c99159007007ff0e9bf775e423d1  isabelle_fonts-20190409.tar.gz
+76827987c70051719e117138858930d42041f57d  isabelle_fonts-20190717.tar.gz
 0b2206f914336dec4923dd0479d8cee4b904f544  jdk-11+28.tar.gz
 3e05213cad47dbef52804fe329395db9b4e57f39  jdk-11.0.2+9.tar.gz
 06ac8993b5bebd02c70f1bd18ce13075f01115f3  jdk-11.0.3+7.tar.gz
diff -r 2d337a2a561a -r 2b4c40722f0b Admin/components/main
--- a/Admin/components/main	Wed Jul 17 17:12:57 2019 +0200
+++ b/Admin/components/main	Wed Jul 17 21:32:03 2019 +0200
@@ -4,7 +4,7 @@
 csdp-6.x
 cvc4-1.5-5
 e-2.0-2
-isabelle_fonts-20190409
+isabelle_fonts-20190717
 jdk-11.0.3+7
 jedit_build-20190508
 jfreechart-1.5.0
diff -r 2d337a2a561a -r 2b4c40722f0b Admin/isabelle_fonts/README
--- a/Admin/isabelle_fonts/README	Wed Jul 17 17:12:57 2019 +0200
+++ b/Admin/isabelle_fonts/README	Wed Jul 17 21:32:03 2019 +0200
@@ -4,11 +4,11 @@
 The Isabelle fonts are subject to the same BSD-3-clause license as Isabelle.
 
 TTF files are produced automatically from the Deja Vu font family with symbols
-from the IsabelleText font:
+from the IsabelleSymbols font (formerly IsabelleText):
 
   isabelle build_fonts -d dejavu-fonts-ttf-2.37/ttf
 
-The IsabelleText template (see Admin/isabelle_fonts in the repository) has
+The IsabelleSymbols template (see Admin/isabelle_fonts in the repository) has
 been assembled manually, by composing glyphs from Bluesky TeX fonts (scaled
 222%) with some additions from DejaVu Sans Mono and DejaVu Sans. Some
 additional symbols are from Symbola, see http://greekfonts.teilar.gr "In lieu
@@ -17,7 +17,7 @@
 
 
     Makarius
-    10-Feb-2019
+    17-Jul-2019
 
 
 ----------------------------------------------------------------------------