lib/fonts/README
Sat, 24 Nov 2018 18:56:44 +0100 wenzelm use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
Thu, 08 Nov 2018 21:36:12 +0100 wenzelm clarified isabelle_fonts license, to be used when the component is updated next time;
Fri, 12 Aug 2016 16:49:29 +0200 wenzelm some icons from Symbola font;
Sun, 05 Dec 2010 15:23:33 +0100 wenzelm IsabelleText font: include Cyrillic, Hebrew, Arabic from DejaVu Sans 2.32;
Thu, 11 Dec 2008 22:38:00 +0100 wenzelm incorporated isabelle-fonts side-branch (forced merge);
Fri, 22 Aug 2008 18:31:02 +0200 wenzelm added README with original licenses;
Fri, 15 Aug 2008 16:08:08 +0200 wenzelm added README;
Tue, 11 Mar 1997 14:44:25 +0100 wenzelm Note on fonts and remote X11;
less more (0) tip