diff -r 92768949a923 -r 78fd95fe4a6f Admin/components/README.md --- a/Admin/components/README.md Thu Oct 03 13:01:31 2024 +0200 +++ b/Admin/components/README.md Thu Oct 03 23:34:55 2024 +0200 @@ -127,7 +127,7 @@ format, not the underlying platform! There are special tricks to get underlying platform details, depending on OS versions: Isabelle/Scala and the Isabelle settings environment provide sanitized versions of that. - Isabelle tools should not attempt anything their own account. + Isabelle tools should not attempt anything on their own account. * Common Unix tools like `/bin/sh`, `/bin/kill`, `sed`, `ulimit` are notoriously non-portable an should be avoided. @@ -220,7 +220,7 @@ ### Repeatable component builds ### -Historically, Isabelle components have often been assembled manually, packaged +Historically, Isabelle components have often been assembled by hand, packaged as `.tar.gz` and uploaded to the administrative directory. This model no longer fits the typical complexity of multi-platform tools.