equal
deleted
inserted
replaced
2 ===================== |
2 ===================== |
3 |
3 |
4 The Isabelle fonts are subject to the same BSD-3-clause license as Isabelle. |
4 The Isabelle fonts are subject to the same BSD-3-clause license as Isabelle. |
5 |
5 |
6 TTF files are produced automatically from the Deja Vu font family with symbols |
6 TTF files are produced automatically from the Deja Vu font family with symbols |
7 from the IsabelleText font: |
7 from the IsabelleSymbols font (formerly IsabelleText): |
8 |
8 |
9 isabelle build_fonts -d dejavu-fonts-ttf-2.37/ttf |
9 isabelle build_fonts -d dejavu-fonts-ttf-2.37/ttf |
10 |
10 |
11 The IsabelleText template (see Admin/isabelle_fonts in the repository) has |
11 The IsabelleSymbols template (see Admin/isabelle_fonts in the repository) has |
12 been assembled manually, by composing glyphs from Bluesky TeX fonts (scaled |
12 been assembled manually, by composing glyphs from Bluesky TeX fonts (scaled |
13 222%) with some additions from DejaVu Sans Mono and DejaVu Sans. Some |
13 222%) with some additions from DejaVu Sans Mono and DejaVu Sans. Some |
14 additional symbols are from Symbola, see http://greekfonts.teilar.gr "In lieu |
14 additional symbols are from Symbola, see http://greekfonts.teilar.gr "In lieu |
15 of a licence; fonts and documents in this site are free for any use; George |
15 of a licence; fonts and documents in this site are free for any use; George |
16 Douros". |
16 Douros". |
17 |
17 |
18 |
18 |
19 Makarius |
19 Makarius |
20 10-Feb-2019 |
20 17-Jul-2019 |
21 |
21 |
22 |
22 |
23 ---------------------------------------------------------------------------- |
23 ---------------------------------------------------------------------------- |
24 |
24 |
25 Computer Modern PostScript Fonts |
25 Computer Modern PostScript Fonts |