Wed, 17 Jul 2019 17:12:57 +0200 |
wenzelm |
redundant;
|
file |
diff |
annotate
|
Wed, 17 Jul 2019 16:10:05 +0200 |
wenzelm |
added \<llangle>, \<rrangle>;
|
file |
diff |
annotate
|
Wed, 17 Jul 2019 11:09:43 +0200 |
wenzelm |
added \<bbar>;
|
file |
diff |
annotate
|
Tue, 09 Apr 2019 11:24:47 +0200 |
wenzelm |
proper treatment of isabelle_fonts_hinted in etc/preferences (i.e. a change of the default option);
|
file |
diff |
annotate
|
Sat, 06 Apr 2019 22:05:25 +0200 |
wenzelm |
support both hinted and unhinted fonts;
|
file |
diff |
annotate
|
Fri, 05 Apr 2019 23:45:35 +0200 |
wenzelm |
option to bypass ttfautohint for experimentation (it can have adverse effects);
|
file |
diff |
annotate
|
Sat, 09 Mar 2019 13:35:49 +0100 |
wenzelm |
added glyph for \<marker>;
|
file |
diff |
annotate
|
Sun, 10 Feb 2019 18:12:24 +0100 |
wenzelm |
recovered missing glyph;
|
file |
diff |
annotate
|
Sun, 10 Feb 2019 18:04:48 +0100 |
wenzelm |
auto-hinting of original DejaVu fonts, but not Isabelle symbols;
|
file |
diff |
annotate
|
Sun, 09 Dec 2018 18:11:56 +0100 |
wenzelm |
more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);
|
file |
diff |
annotate
|
Sun, 09 Dec 2018 16:33:45 +0100 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
Mon, 03 Dec 2018 20:04:48 +0100 |
wenzelm |
more explicit support for Isabelle system components;
|
file |
diff |
annotate
|
Thu, 29 Nov 2018 15:17:51 +0100 |
wenzelm |
clarified "hidden" terminology;
|
file |
diff |
annotate
|
Thu, 29 Nov 2018 15:07:18 +0100 |
wenzelm |
generate full component;
|
file |
diff |
annotate
|
Thu, 29 Nov 2018 14:43:11 +0100 |
wenzelm |
clarified target_dir;
|
file |
diff |
annotate
|
Thu, 29 Nov 2018 12:43:11 +0100 |
wenzelm |
generate Vacuous font from domain of Isabelle fonts;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 11:06:58 +0100 |
wenzelm |
clarified Admin resources;
|
file |
diff |
annotate
|
Sat, 24 Nov 2018 18:56:44 +0100 |
wenzelm |
use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
|
file |
diff |
annotate
|
Sat, 24 Nov 2018 15:54:53 +0100 |
wenzelm |
proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units";
|
file |
diff |
annotate
|
Sat, 24 Nov 2018 15:03:42 +0100 |
wenzelm |
clarified module name (again);
|
file |
diff |
annotate
| base
|