lib/fonts/README
changeset 69343 395c4fb15ea2
parent 69270 15463f546ee0
equal deleted inserted replaced
69342:fa981730b964 69343:395c4fb15ea2
       
     1 Isabelle DejaVu fonts
       
     2 =====================
       
     3 
     1 The Isabelle fonts are subject to the same BSD-3-clause license as Isabelle.
     4 The Isabelle fonts are subject to the same BSD-3-clause license as Isabelle.
     2 
     5 
     3 The fonts have been assembled with FontForge
     6 TTF files are produced automatically from the Deja Vu font family, with
     4 (http://fontforge.sourceforge.net), by composing glyphs from existing (free)
     7 special symbols from the IsabelleText font in $ISABELLE_HOME/lib/fonts:
     5 fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono, with some
       
     6 additions from DejaVu Sans Mono and DejaVu Sans.
       
     7 
     8 
     8 Some additional symbols are from Symbola. See http://greekfonts.teilar.gr
     9   isabelle build_fonts -d dejavu-fonts-ttf-2.37/ttf
     9 "In lieu of a licence; fonts and documents in this site are free for any use;
    10 
    10 George Douros".
    11 The IsabelleText template has been assembled manually, by composing glyphs
       
    12 from Bluesky TeX fonts (scaled 222%) with some additions from DejaVu Sans Mono
       
    13 and DejaVu Sans. Some additional symbols are from Symbola, see
       
    14 http://greekfonts.teilar.gr "In lieu of a licence; fonts and documents in this
       
    15 site are free for any use; George Douros".
       
    16 
       
    17 
       
    18     Makarius
       
    19     23-Nov-2018
       
    20 
    11 
    21 
    12 ----------------------------------------------------------------------------
    22 ----------------------------------------------------------------------------
    13 
    23 
    14 Computer Modern PostScript Fonts
    24 Computer Modern PostScript Fonts
    15 (Adobe Type 1 format)
    25 (Adobe Type 1 format)