| Sun, 19 Nov 2023 20:41:34 +0100 | wenzelm | build_history: proper support for ISABELLE_APPLE_PLATFORM64; | changeset | files |
| Sun, 19 Nov 2023 19:41:17 +0100 | wenzelm | clarified isabelle_hg (again, see b9d59669904a); | changeset | files |
| Sun, 19 Nov 2023 19:29:19 +0100 | wenzelm | clarified signature: explicit Remote_Build.count instead of duplicate entries (see also ee8c014526dc); | changeset | files |