lib/fonts/README
2016-08-12 wenzelm 2016-08-12 some icons from Symbola font;
2010-12-05 wenzelm 2010-12-05 IsabelleText font: include Cyrillic, Hebrew, Arabic from DejaVu Sans 2.32;
2008-12-11 wenzelm 2008-12-11 incorporated isabelle-fonts side-branch (forced merge);
2008-08-22 wenzelm 2008-08-22 added README with original licenses;
2008-08-15 wenzelm 2008-08-15 added README;
1997-03-11 wenzelm 1997-03-11 Note on fonts and remote X11;