#1755 (Aug 21, 2022, 4:01:49 AM)

1. merged; (detail / hgweb)
2. more robust GUI initialization (amending 29441f2bfe81); (detail / hgweb)
3. clarified signature: just one common operation; (detail / hgweb)
4. clarified paths and links;
   proper node_context for aux. files: to get links within them; (detail / hgweb)
5. more concise output of files: just one round; (detail / hgweb)
6. more robust; (detail / hgweb)
7. proper node_dir within presentation_dir, not source file directory; (detail / hgweb)
8. clarified modules; (detail / hgweb)
9. clarified names; (detail / hgweb)
10. more thorough checks of browser_info file conflicts; (detail / hgweb)
11. tuned; (detail / hgweb)
12. prefer strict operations with explicit errors (instead of missing HTML output); (detail / hgweb)
13. more thorough check, without path name artifacts (e.g. "./README"); (detail / hgweb)
14. tuned signature;
    tuned messages; (detail / hgweb)
15. clarified signature: Sessions.Base_Info follows Sessions.Base; (detail / hgweb)
16. clarified signature: follow Sessions.Deps.check_errors (despite Process_Result.check); (detail / hgweb)
17. tuned; (detail / hgweb)
18. tuned whitespace; (detail / hgweb)
19. evade clash with index.html (allow "Index.thy" even on case-insensitive file-systems); (detail / hgweb)
20. discontinued special support for README.html (which was hardly ever used in the past 2 decades); (detail / hgweb)
21. clarified directory layout (again): mimic original directory layout, notably ISABELLE_HOME; (detail / hgweb)
22. more robust treatment of Document.Node.Name, following stored data; (detail / hgweb)
23. more robust; (detail / hgweb)
24. clarified directory layout: files are relative to enclosing theory; (detail / hgweb)
25. tuned signature: avoid duplication; (detail / hgweb)
26. more robust: theories could have been suppressed via option "condition"; (detail / hgweb)
27. tuned signature; (detail / hgweb)
28. tuned messages (again, see d50c2129e73a): presentation setup could fail initially for take some time; (detail / hgweb)
29. clarified modules; (detail / hgweb)
30. clarified signature: support for adhoc file types; (detail / hgweb)
31. clarified Presentation.Nodes, with explicit Nodes.Session and Nodes.Theory;
    distinguish Nodes.Theory.static_session vs. dynamic_session: refer to exports from dynamic_session, corresponding to strictly to build_graph;
    more robust treatment of source files and links to generated files;
    retrieve entities by their file position, within its corresponding session/theory hierarchy; (detail / hgweb)
32. export entity file position as well, e.g. relevant for HTML presentation with aux. files; (detail / hgweb)
33. proper permissive = true (amending 475fedc02737) (detail / hgweb)
34. tuned signature; (detail / hgweb)
35. clarified signature; (detail / hgweb)
36. clarified signature; (detail / hgweb)
37. more robust directory structure: always relative to session_dir;
    tuned messages; (detail / hgweb)
38. discontinued slightly odd integrity check (from af2d0e07493b): requires a different approach; (detail / hgweb)
39. clarified signature; (detail / hgweb)
40. misc tuning and clarification; (detail / hgweb)
41. unused; (detail / hgweb)
42. tuned signature; (detail / hgweb)
43. tuned signature; (detail / hgweb)
44. tuned signature; (detail / hgweb)
45. clarified modules; (detail / hgweb)
46. clarified modules; (detail / hgweb)
47. unused; (detail / hgweb)
48. tuned signature; (detail / hgweb)
49. clarified signature: replaced Sessions.Deps by Sessions.Structure from HTML_Context; (detail / hgweb)
50. tuned; (detail / hgweb)
51. clarified signature: avoid constants from Sessions.Structure within Session.Base; (detail / hgweb)
52. clarified signature: avoid object-oriented HTML_Context;
    clarified theory_qualifier --- belongs to the overall Sessions.Structure; (detail / hgweb)
53. tuned type signature (detail / hgweb)
54. tuned type signature (detail / hgweb)
55. streamlined theorems (detail / hgweb)
56. more thorough split rules for div and mod on numerals, tuned split rules setup (detail / hgweb)
57. streamlined simpset building, avoiding duplicated rewrite rules (detail / hgweb)
58. consolidated attribute name (detail / hgweb)
59. streamlined theorems (detail / hgweb)
60. streamlined theorems and sections (detail / hgweb)

Started by an SCM change

This run spent:

• 3 hr 10 min waiting;
• 1 hr 47 min build duration;
• 4 hr 58 min total from scheduled to completion.