src/Pure/Admin/build_fonts.scala
5 months ago ago recovered missing glyph;
5 months ago ago auto-hinting of original DejaVu fonts, but not Isabelle symbols;
7 months ago ago more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);
7 months ago ago clarified names;
7 months ago ago more explicit support for Isabelle system components;
7 months ago ago clarified "hidden" terminology;
7 months ago ago generate full component;
7 months ago ago clarified target_dir;
7 months ago ago generate Vacuous font from domain of Isabelle fonts;
7 months ago ago clarified Admin resources;
7 months ago ago use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
7 months ago ago proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units";
7 months ago ago clarified module name (again);