--- 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
--- 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
--- 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
----------------------------------------------------------------------------