#1593 (Nov 8, 2021, 12:50:10 AM)

1. proper support for arm64; (detail / hgweb)
2. no perl (amending 59ef23ac81ab); (detail / hgweb)
3. merged (detail / hgweb)
4. Added tag Isabelle2021-1-RC2 for changeset b92b5a57521b (detail / hgweb)
5. merged (detail / hgweb)
6. Preserve variable name z in VAR {z = t} (detail / hgweb)
7. back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin; (detail / hgweb)
8. updated to polyml-5.9-5d4caa8f7148, which also contains ARM64 on darwin (unused by default); (detail / hgweb)
9. more precise URL (detail / hgweb)
10. tuned page breaks (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 1 hr 38 min build duration;
• 1 hr 39 min total from scheduled to completion.