| Wed, 13 Feb 2019 11:25:23 +0100 | nipkow | added lemma | changeset | files |
| Wed, 13 Feb 2019 09:50:16 +0100 | nipkow | removed subsumed lemma | changeset | files |
| Wed, 13 Feb 2019 07:48:42 +0100 | nipkow | too agressive | changeset | files |
| Wed, 13 Feb 2019 02:13:46 +0100 | nipkow | added lemmas | changeset | files |
| Sun, 10 Feb 2019 22:24:22 +0100 | wenzelm | more robust: avoid duplicate Socket.close; | changeset | files |
| 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 |