# HG changeset patch
# User wenzelm
# Date 1711546672 -3600
# Node ID 5c00c04f09fbef0f5376729f33326f73a3f27ebd
# Parent  a2d15ad6877ab7db2d6044ebb3c701991c6fca5f
misc tuning;
more text;

diff -r a2d15ad6877a -r 5c00c04f09fb Admin/components/README.md
--- a/Admin/components/README.md	Wed Mar 27 14:20:06 2024 +0100
+++ b/Admin/components/README.md	Wed Mar 27 14:37:52 2024 +0100
@@ -54,6 +54,10 @@
       - **Cygwin 3.5.x**
         https://isabelle.sketis.net/cygwin_2024 (`x86_64/release`)
 
+Multi-platform tools require thorough testing on all platforms: base-line and
+latest versions. It "works for me on my system" is not sufficient for the
+general public.
+
 
 ### Multiple platform personalities ###
 
@@ -231,6 +235,12 @@
 specified above (e.g. via Docker); all results are assembled into one big
 `.tar.gz` archive.
 
-Multi-platform tools also require thorough testing on all platforms: base-line
-and latest versions. It "works for me on my system" is not sufficient for the
-general public.
+
+### Dynamic setup of large components ###
+
+An alternative approach, especially for components that are very large and/or
+rarely used, is to provide an Isabelle setup tool that interested users may
+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`.
+