clarified isabelle_fonts license, to be used when the component is updated next time;
authorwenzelm
Thu Nov 08 21:36:12 2018 +0100 (5 months ago)
changeset 6927015463f546ee0
parent 69269 1bee990d443c
child 69271 4cb70e7e36b9
clarified isabelle_fonts license, to be used when the component is updated next time;
lib/fonts/README
     1.1 --- a/lib/fonts/README	Thu Nov 08 16:21:46 2018 +0100
     1.2 +++ b/lib/fonts/README	Thu Nov 08 21:36:12 2018 +0100
     1.3 @@ -1,7 +1,9 @@
     1.4 -The Isabelle font has been assembled with FontForge
     1.5 -(http://fontforge.sourceforge.net), composing glyphs from existing
     1.6 -(free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono,
     1.7 -with some additions from DejaVu Sans Mono and DejaVu Sans.
     1.8 +The Isabelle fonts are subject to the same BSD-3-clause license as Isabelle.
     1.9 +
    1.10 +The fonts have been assembled with FontForge
    1.11 +(http://fontforge.sourceforge.net), by composing glyphs from existing (free)
    1.12 +fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono, with some
    1.13 +additions from DejaVu Sans Mono and DejaVu Sans.
    1.14  
    1.15  Some additional symbols are from Symbola. See http://greekfonts.teilar.gr
    1.16  "In lieu of a licence; fonts and documents in this site are free for any use;