#3298 (Nov 12, 2021, 5:59:02 PM)

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

1. merged (detail)
2. updated to polyml-5.9-cc80e2b43c38, which also contains ARM64 on darwin (unused by default); (detail)
3. clarified HTML_Context: more explicit directory structure; (detail)
4. tuned comments; (detail)
5. tuned; (detail)
6. clarified signature; (detail)
7. clarified properties: avoid empty entry; (detail)
8. tuned signature; (detail)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 4 hr 6 min build duration;
• 4 hr 8 min total from scheduled to completion.