| 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 |
| Wed, 06 Jan 2021 16:14:05 +0100 | wenzelm | proper purge for arm64-darwin; | changeset | files |
| Wed, 06 Jan 2021 16:12:35 +0100 | wenzelm | updated jdk-15.0.1+9, including arm64-darwin; | changeset | files |
| Wed, 06 Jan 2021 15:14:48 +0100 | wenzelm | discontinued somethat pointless sharing: too complicated; | changeset | files |
| Wed, 06 Jan 2021 15:08:21 +0100 | wenzelm | less verbose; | changeset | files |
| Wed, 06 Jan 2021 14:58:13 +0100 | wenzelm | more robust sharing, despite minimal impact on archive size; | changeset | files |