isabelle: Changelog

nipkow [Wed, 13 Feb 2019 11:25:23 +0100] rev 69803

added lemma

nipkow [Wed, 13 Feb 2019 09:50:16 +0100] rev 69802

removed subsumed lemma

nipkow [Wed, 13 Feb 2019 07:48:42 +0100] rev 69801

too agressive

nipkow [Wed, 13 Feb 2019 02:13:46 +0100] rev 69800

added lemmas

wenzelm [Sun, 10 Feb 2019 22:24:22 +0100] rev 69799

more robust: avoid duplicate Socket.close;

wenzelm [Sun, 10 Feb 2019 19:07:53 +0100] rev 69798

enable subpixel anti-aliasing by default, assuming that its 4 variants don't make a difference;

wenzelm [Sun, 10 Feb 2019 18:16:11 +0100] rev 69797

updated to isabelle_fonts-20190210;

wenzelm [Sun, 10 Feb 2019 18:12:24 +0100] rev 69796

recovered missing glyph;

wenzelm [Sun, 10 Feb 2019 18:04:48 +0100] rev 69795

auto-hinting of original DejaVu fonts, but not Isabelle symbols;

wenzelm [Fri, 08 Feb 2019 14:42:28 +0100] rev 69794

tuned signature: proper exports;

isabelle