lib/fonts/README
changeset 40966 d5a198eb16b5
parent 29086 1afdab3e82d2
child 63677 be8b557ec73e
equal deleted inserted replaced
40965:54b6c9e1c157 40966:d5a198eb16b5
     1 The Isabelle font has been assembled with FontForge
     1 The Isabelle font has been assembled with FontForge
     2 (http://fontforge.sourceforge.net), composing glyphs from existing
     2 (http://fontforge.sourceforge.net), composing glyphs from existing
     3 (free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono.
     3 (free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono,
       
     4 with some additions from DejaVu Sans Mono and DejaVu Sans.
     4 
     5 
     5 ----------------------------------------------------------------------------
     6 ----------------------------------------------------------------------------
     6 
     7 
     7 Computer Modern PostScript Fonts
     8 Computer Modern PostScript Fonts
     8 (Adobe Type 1 format)
     9 (Adobe Type 1 format)