#2842 (May 11, 2021, 3:32:22 PM)

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

1. merged (detail / hgweb)
2. proper jEdit.props (amending ff716ecb0805); (detail / hgweb)
3. update to gmp-6.2.1, with support for arm64-darwin; (detail / hgweb)
4. clarified platforms; (detail / hgweb)
5. clarified options: implicitly support both x86_64 and arm64; (detail / hgweb)
6. tuned whitespace; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 1 sec waiting;
• 22 min build duration;
• 24 min total from scheduled to completion.