| Wed, 26 Oct 2022 21:59:16 +0200 | wenzelm | merged | changeset | files |
| Wed, 26 Oct 2022 16:26:23 +0200 | wenzelm | more robust etc/preferences: default value remains; | changeset | files |
| Wed, 26 Oct 2022 15:02:11 +0200 | wenzelm | formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations; | changeset | files |
| Wed, 26 Oct 2022 18:08:44 +0100 | paulson | Beautifying CTT a tiny bit | changeset | files |
| Wed, 26 Oct 2022 17:22:12 +0100 | paulson | A couple of new theorems. Also additional coercions to the complex numbers | changeset | files |
| Wed, 26 Oct 2022 00:30:50 +0200 | wenzelm | more macOS platforms, without reference hardware; | changeset | files |