| #
21493586 |
|
17-Jul-2019 |
wenzelm <none@none> |
redundant;
|
| #
68d70025 |
|
17-Jul-2019 |
wenzelm <none@none> |
added \<llangle>, \<rrangle>;
discontinued special rendering for old {* *};
|
| #
468cf5fb |
|
17-Jul-2019 |
wenzelm <none@none> |
added \<bbar>;
|
| #
d7958374 |
|
09-Apr-2019 |
wenzelm <none@none> |
proper treatment of isabelle_fonts_hinted in etc/preferences (i.e. a change of the default option);
|
| #
f3363591 |
|
06-Apr-2019 |
wenzelm <none@none> |
support both hinted and unhinted fonts;
|
| #
6ccd723e |
|
05-Apr-2019 |
wenzelm <none@none> |
option to bypass ttfautohint for experimentation (it can have adverse effects);
|
| #
645710b2 |
|
09-Mar-2019 |
wenzelm <none@none> |
added glyph for \<marker>;
|
| #
0aff462c |
|
10-Feb-2019 |
wenzelm <none@none> |
recovered missing glyph;
|
| #
17082074 |
|
10-Feb-2019 |
wenzelm <none@none> |
auto-hinting of original DejaVu fonts, but not Isabelle symbols;
|
| #
a1f97411 |
|
09-Dec-2018 |
wenzelm <none@none> |
more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);
|
| #
b18709e9 |
|
09-Dec-2018 |
wenzelm <none@none> |
clarified names;
--HG--
rename : Admin/isabelle_fonts/IsabelleText.sfd => Admin/isabelle_fonts/IsabelleSymbols.sfd
rename : Admin/isabelle_fonts/IsabelleTextBold.sfd => Admin/isabelle_fonts/IsabelleSymbolsBold.sfd
|
| #
aebbc7dd |
|
03-Dec-2018 |
wenzelm <none@none> |
more explicit support for Isabelle system components;
activate_bundled_components: check component dir as in makedist_bundle;
|
| #
3bb4ccd6 |
|
29-Nov-2018 |
wenzelm <none@none> |
clarified "hidden" terminology;
updated component;
|
| #
5899fb5f |
|
29-Nov-2018 |
wenzelm <none@none> |
generate full component;
|
| #
99e3b982 |
|
29-Nov-2018 |
wenzelm <none@none> |
clarified target_dir;
|
| #
1b870849 |
|
28-Nov-2018 |
wenzelm <none@none> |
generate Vacuous font from domain of Isabelle fonts;
|
| #
00a545db |
|
28-Nov-2018 |
wenzelm <none@none> |
clarified Admin resources;
tuned comments;
--HG--
rename : lib/fonts/IsabelleText.sfd => Admin/isabelle_fonts/IsabelleText.sfd
rename : lib/fonts/IsabelleTextBold.sfd => Admin/isabelle_fonts/IsabelleTextBold.sfd
rename : lib/fonts/README => Admin/isabelle_fonts/README
rename : lib/fonts/Vacuous.sfd => Admin/isabelle_fonts/Vacuous.sfd
|
| #
7023c8c4 |
|
24-Nov-2018 |
wenzelm <none@none> |
use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
|
| #
05649d57 |
|
24-Nov-2018 |
wenzelm <none@none> |
proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units";
|
| #
ca59a261 |
|
24-Nov-2018 |
wenzelm <none@none> |
clarified module name (again);
--HG--
rename : src/Pure/Admin/isabelle_fonts.scala => src/Pure/Admin/build_fonts.scala
|