lib/fonts/README
changeset 27893 7c97cf70d663
child 29086 1afdab3e82d2
equal deleted inserted replaced
27892:7ceb5729a53e 27893:7c97cf70d663
       
     1 The Isabelle font has been assembled from existing (free) TeX fonts
       
     2 using FontForge http://fontforge.sourceforge.net/