#2145 (Mar 7, 2024, 12:50:08 AM)

1. revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04; (detail / hgweb)
2. update to current long-term-support version dotnet-8.0.x; (detail / hgweb)
3. merged (detail / hgweb)
4. proper release bundle_name (amending 0e7dd3eaa6e8); (detail / hgweb)
5. more multiset lemmas (detail / hgweb)
6. optional cartouche syntax and proper name printing in atp Isar output (detail / hgweb)
7. merged (detail / hgweb)
8. removed unused variable (detail / hgweb)
9. added virtual, greedy portfolio for E 3.0 (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 2 hr 4 min build duration;
• 2 hr 4 min total from scheduled to completion.