#1760 (Aug 27, 2022, 2:42:07 AM)

1. tuned output; (detail / hgweb)
2. merged (detail / hgweb)
3. clarified chapters: de-emphasize minor examples; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. clarified signature; (detail / hgweb)
6. produce root index based on sessions_structure.chapter_defs;
   disregard lib/html/library_index_content.template (NB: still needed for Isabelle website); (detail / hgweb)
7. provide chapter descriptions, based on lib/html/library_index_content.template; (detail / hgweb)
8. more robust: proper system_name; (detail / hgweb)
9. support 'chapter_definition' with description for presentation purposes; (detail / hgweb)
10. tuned whitespace; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. removed unused "def_theory" markup (stemming from be49c660ebbf), superseded e.g. by Document_Info.theory_by_file(); (detail / hgweb)
13. more aggressive clean_directory(session_dir), while rm_tree is guarded by check_directory, i.e. it is presumably "owned" by Browser_Info.build_session(); (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. tuned signature; (detail / hgweb)
16. clarified signature; (detail / hgweb)
17. tuned whitespace; (detail / hgweb)
18. more robust: ensure that chapter/session/theory do not contain special notation (like "/" or ".."); (detail / hgweb)
19. merged (detail / hgweb)
20. NEWS about Sum_of_Powers (detail / hgweb)
21. Removal of a duplicate theory, since that material and more is in the AFP: https://www.isa-afp.org/entries/Bernoulli.html (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 51 min waiting;
• 1 hr 49 min build duration;
• 3 hr 40 min total from scheduled to completion.