#4284 (Feb 6, 2023, 10:21:26 PM)

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

1. merged (detail / hgweb)
2. proper orientation for right-associative operations; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. obsolete --- superseded by SHA1.Shasum operations; (detail / hgweb)
7. clarified signature, using right-associative operation; (detail / hgweb)
8. tuned whitespace; (detail / hgweb)
9. tuned --- implicit split; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. prefer explicit shasum: more robust due to explicit file names, which often work implicitly in LaTeX; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. more uniform use of SHA1.Shasum; (detail / hgweb)
14. proper Shasum.digest, to emulate old form from build_history database;
    clarified signature: more explicit types; (detail / hgweb)
15. prefer explicit shasum;
    clarified signature; (detail / hgweb)
16. proper symbolic dependencies, e.g. for Demo_FoilTeX; (detail / hgweb)
17. prefer explicit shasum; (detail / hgweb)
18. clarified signature: follow terminology of isabelle.Sessions and isabelle.Build; (detail / hgweb)
19. clarified signature: follow terminology of isabelle.Sessions and isabelle.Build; (detail / hgweb)
20. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 4 hr 14 min build duration;
• 4 hr 16 min total from scheduled to completion.