lib/fonts/README
changeset 69343 395c4fb15ea2
parent 69270 15463f546ee0
--- a/lib/fonts/README	Sat Nov 24 16:41:18 2018 +0100
+++ b/lib/fonts/README	Sat Nov 24 18:56:44 2018 +0100
@@ -1,13 +1,23 @@
+Isabelle DejaVu fonts
+=====================
+
 The Isabelle fonts are subject to the same BSD-3-clause license as Isabelle.
 
-The fonts have been assembled with FontForge
-(http://fontforge.sourceforge.net), by composing glyphs from existing (free)
-fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono, with some
-additions from DejaVu Sans Mono and DejaVu Sans.
+TTF files are produced automatically from the Deja Vu font family, with
+special symbols from the IsabelleText font in $ISABELLE_HOME/lib/fonts:
+
+  isabelle build_fonts -d dejavu-fonts-ttf-2.37/ttf
 
-Some additional symbols are from Symbola. See http://greekfonts.teilar.gr
-"In lieu of a licence; fonts and documents in this site are free for any use;
-George Douros".
+The IsabelleText template 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 of a licence; fonts and documents in this
+site are free for any use; George Douros".
+
+
+    Makarius
+    23-Nov-2018
+
 
 ----------------------------------------------------------------------------