| Thu, 07 Jan 2021 13:23:54 +0100 | wenzelm | clarified NEWS; | changeset | files |
| Thu, 07 Jan 2021 09:14:24 +0000 | haftmann | dropped junk | changeset | files |
| Thu, 07 Jan 2021 00:04:13 +0100 | wenzelm | try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup"; | changeset | files |
| Wed, 06 Jan 2021 16:50:53 +0100 | wenzelm | detect arm64-darwin more reliably: uname could be in x86_64 mode, e.g. within app bundle; | changeset | files |