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