| 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 |