| Tue, 30 Jan 2024 21:20:19 +0100 | wenzelm | proper ISABELLE_PLATFORM_FAMILY within Isabelle/Scala, in contrast to historic settings; | changeset | files |
| Tue, 30 Jan 2024 17:36:14 +0100 | wenzelm | clarified symbolic host name; | changeset | files |
| Tue, 30 Jan 2024 17:35:42 +0100 | wenzelm | allow remote_build on this host (server-arm), without conflicts of this "isabelle_self"; | changeset | files |
| Tue, 30 Jan 2024 12:48:27 +0100 | wenzelm | more robust message; | changeset | files |