src/Pure/Admin/build_fonts.scala
6 months ago wenzelm 2019-04-06 support both hinted and unhinted fonts;
6 months ago wenzelm 2019-04-05 option to bypass ttfautohint for experimentation (it can have adverse effects);
7 months ago wenzelm 2019-03-09 added glyph for \<marker>;
8 months ago wenzelm 2019-02-10 recovered missing glyph;
8 months ago wenzelm 2019-02-10 auto-hinting of original DejaVu fonts, but not Isabelle symbols;
10 months ago wenzelm 2018-12-09 more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);
10 months ago wenzelm 2018-12-09 clarified names;
10 months ago wenzelm 2018-12-03 more explicit support for Isabelle system components; activate_bundled_components: check component dir as in makedist_bundle;
10 months ago wenzelm 2018-11-29 clarified "hidden" terminology; updated component;
10 months ago wenzelm 2018-11-29 generate full component;
10 months ago wenzelm 2018-11-29 clarified target_dir;
10 months ago wenzelm 2018-11-29 generate Vacuous font from domain of Isabelle fonts;
10 months ago wenzelm 2018-11-28 clarified Admin resources; tuned comments;
10 months ago wenzelm 2018-11-24 use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
10 months ago wenzelm 2018-11-24 proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units";
10 months ago wenzelm 2018-11-24 clarified module name (again);