Sun, 10 Feb 2019 19:07:53 +0100 | wenzelm | enable subpixel anti-aliasing by default, assuming that its 4 variants don't make a difference; | changeset | files |
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 |