#5295 (Jun 3, 2024, 9:57:30 PM)

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

1. merged (detail / hgweb)
2. Simplification of sin, cos, exp of multiples of pi (detail / hgweb)
3. minor performance tuning: more compact data; (detail / hgweb)
4. removed unused/inefficient size_of_proof (see also 2241191a3c54); (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 28 sec waiting;
• 4 hr 55 min build duration;
• 4 hr 59 min total from scheduled to completion.

• ML_Unification