equal
deleted
inserted
replaced
1 The Isabelle font has been assembled with FontForge |
1 The Isabelle fonts are subject to the same BSD-3-clause license as Isabelle. |
2 (http://fontforge.sourceforge.net), composing glyphs from existing |
2 |
3 (free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono, |
3 The fonts have been assembled with FontForge |
4 with some additions from DejaVu Sans Mono and DejaVu Sans. |
4 (http://fontforge.sourceforge.net), by composing glyphs from existing (free) |
|
5 fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono, with some |
|
6 additions from DejaVu Sans Mono and DejaVu Sans. |
5 |
7 |
6 Some additional symbols are from Symbola. See http://greekfonts.teilar.gr |
8 Some additional symbols are from Symbola. See http://greekfonts.teilar.gr |
7 "In lieu of a licence; fonts and documents in this site are free for any use; |
9 "In lieu of a licence; fonts and documents in this site are free for any use; |
8 George Douros". |
10 George Douros". |
9 |
11 |