#1477 (Jun 6, 2021, 12:50:06 AM)

1. clarified modules; (detail / hgweb)
2. clarified check (refining fc828f64da5b): etc/settings or etc/components is not strictly required according to "init_component", and notable components only have session ROOTS (e.g. AFP/thys); (detail / hgweb)
3. tuned; (detail / hgweb)
4. more thorough update of required files (amending 1529c3eb6bac); (detail / hgweb)
5. clarified examples; (detail / hgweb)
6. tuned proofs; (detail / hgweb)
7. misc tuning --- following hints by Jørgen Villadsen (see also 1ce1bc9ff64a); (detail / hgweb)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 27 min total from scheduled to completion.