| Sun, 10 Feb 2019 18:16:11 +0100 | wenzelm | updated to isabelle_fonts-20190210; | changeset | files |
| Sun, 10 Feb 2019 18:12:24 +0100 | wenzelm | recovered missing glyph; | changeset | files |
| Sun, 10 Feb 2019 18:04:48 +0100 | wenzelm | auto-hinting of original DejaVu fonts, but not Isabelle symbols; | changeset | files |
| Fri, 08 Feb 2019 14:42:28 +0100 | wenzelm | tuned signature: proper exports; | changeset | files |