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
|