# HG changeset patch
# User wenzelm
# Date 1541709372 -3600
# Node ID 15463f546ee0ede5479c9cceedbe3ef2573bf02c
# Parent  1bee990d443c74d09ca769fdeac277a3812e099e
clarified isabelle_fonts license, to be used when the component is updated next time;

diff -r 1bee990d443c -r 15463f546ee0 lib/fonts/README
--- a/lib/fonts/README	Thu Nov 08 16:21:46 2018 +0100
+++ b/lib/fonts/README	Thu Nov 08 21:36:12 2018 +0100
@@ -1,7 +1,9 @@
-The Isabelle font has been assembled with FontForge
-(http://fontforge.sourceforge.net), 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.
+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.
 
 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;