#2490 (Mar 12, 2024, 1:33:08 AM)

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

1. minor performance tuning: SQL.order_by is only for demo purposes; (detail)
2. support efficient access to state updates, based on LEFT OUTER JOIN; (detail)
3. tuned signature; (detail)
4. tuned: prefer if_proper expression; (detail)
5. tuned signature; (detail)
6. tuned: prefer if_proper expression; (detail)
7. New material by Wenda Li and Manuel Eberl (detail)
8. merged (detail)
9. export BNF properties about the cardinal bound (by Jan van Brügge) (detail)

Started by an SCM change

This run spent:

• 6 sec waiting;
• 11 hr build duration;
• 11 hr total from scheduled to completion.