#2182 (Apr 19, 2024, 12:50:11 AM)

1. sketch & explore: recover from duplicate fixed variables in Isar proofs (detail / hgweb)
2. back to post-release mode -- after fork point; (detail / hgweb)
3. merged (detail / hgweb)
4. Added tag Isabelle2024-RC2 for changeset ef2134570abb (detail / hgweb)
5. Acknowledgement of Ata Keskin for his Martingales material (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 2 hr 5 min build duration;
• 2 hr 5 min total from scheduled to completion.