#5308 (Jun 7, 2024, 4:47:42 AM)

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

1. tuned proof: avoid smt/z3 to make this work with arm64-linux; (detail / hgweb)
2. proper afp_directory (amending 9308bc5f65d6); (detail / hgweb)
3. clarified names; (detail / hgweb)
4. clarified name: avoid clash with Library.Update; (detail / hgweb)
5. clarified signature; (detail / hgweb)
6. tuned whitespace; (detail / hgweb)
7. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 3 min waiting;
• 4 hr 57 min build duration;
• 7 hr 0 min total from scheduled to completion.

• Frequency_Moments