--- a/Admin/components/README.md Wed Mar 27 14:40:02 2024 +0100
+++ b/Admin/components/README.md Wed Mar 27 15:01:38 2024 +0100
@@ -30,9 +30,7 @@
The official platforms, with **base-line operating systems**, and reference
machines are as follows:
- * `x86_64-linux`
- - **Ubuntu 18.04 LTS**
- * `arm64-linux`
+ * `x86_64-linux` and `arm64-linux`
- **Ubuntu 18.04 LTS** (e.g. via `docker run -it ubuntu:18.04 bash`)
* `x86_64-darwin`
@@ -243,4 +241,3 @@
run for themselves. This works particularly well for software products that
have their own "store" of downloadable artifacts. For example, see
`isabelle dotnet_setup` as defined in `src/Pure/Tools/dotnet_setup.scala`.
-