| Wed, 12 Oct 2022 11:15:36 +0200 | wenzelm | support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64; | changeset | files |
| Sun, 09 Oct 2022 16:28:28 +0200 | wenzelm | updated to repository version polyml-test-bafe319bc3a6, which is presumably more stable (especially for ARM64); | changeset | files |
| Thu, 06 Oct 2022 20:13:55 +0200 | wenzelm | more robust: prefer Windows $USERNAME; | changeset | files |
| Thu, 06 Oct 2022 17:24:55 +0200 | wenzelm | proper home directory for ssh configuration (e.g. ~/.ssh/config); | changeset | files |