Sat, 14 Mar 2020 15:58:51 +0000 | paulson | tidied up a few little proofs | changeset | files |
Thu, 12 Mar 2020 23:05:11 +0100 | wenzelm | updated for release; | changeset | files |
Thu, 12 Mar 2020 21:25:53 +0100 | wenzelm | more usable defaults for high resolution on Linux, where the desktop environment usually lacks automatic scaling; | changeset | files |