#2036 (Aug 14, 2022, 1:34:09 AM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. tuned comments; (detail)
2. tuned signature; (detail)
3. clarified signature; (detail)
4. clarified signature; (detail)
5. clarified signature; (detail)
6. unused; (detail)
7. clarified modules; (detail)
8. clarified signature; (detail)
9. clarified signature: more explicit types; (detail)
10. clarified signature --- avoid dependent types; (detail)
11. tuned whitespace; (detail)
12. clarified signature: avoid public representation; (detail)
13. tuned signature; (detail)
14. clarified signature; (detail)
15. unused; (detail)
16. more accurate treatment of option "editor_output_state", e.g. when changed via Isabelle/jEdit Plugin Options panel; (detail)
17. clarified signature: more explicit types;
    more robust zoom.factor: work with uninitialized GUI components; (detail)
18. tuned whitespace; (detail)
19. tuned, following 298707451ec2;
    tuned signature; (detail)
20. unused; (detail)
21. tuned, following hints by IntelliJ IDEA; (detail)
22. clarified signature: more explicit types;
    tuned whitespace; (detail)
23. tuned whitespace; (detail)
24. tuned, following hints by IntelliJ IDEA; (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. Update metadata and root.tex to mention the addition of ZFC_SetCat in early 2022. (detail)
2. Sync with my development repo:  Category3: add various rules for limits.  RTS: strengthen definition of transformation. (detail)

Started by an SCM change

This run spent:

• 6.5 sec waiting;
• 11 hr build duration;
• 11 hr total from scheduled to completion.