#2055 (Nov 12, 2023, 12:50:07 AM)

1. proper check_file operation via File.space (amending 6ad3a412ed97 --- broken in Isabelle2023); (detail / hgweb)
2. clarified signature; (detail / hgweb)
3. clarified modules; (detail / hgweb)
4. clarified signature: more operations; (detail / hgweb)
5. tuned comments; (detail / hgweb)
6. more NEWS; (detail / hgweb)
7. more TODO; (detail / hgweb)
8. prefer strict test of system options; (detail / hgweb)
9. some build cluster resources at TUM; (detail / hgweb)
10. build cluster host specifications are based on registry entries (table prefix "host"); (detail / hgweb)
11. more robust init; (detail / hgweb)
12. clarified signature: more operations; (detail / hgweb)
13. support interpreted/typed entries via Registry.Category and Registry.Table; (detail / hgweb)
14. clarified signature: more operations; (detail / hgweb)
15. clarified output; (detail / hgweb)
16. support for global registry; (detail / hgweb)
17. clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?"; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.2 sec waiting;
• 5 hr 0 min build duration;
• 5 hr 0 min total from scheduled to completion.