#2069 (Dec 3, 2023, 2:02:48 AM)

1. merged (detail / hgweb)
2. clarified proof_body: cover zboxes from zproof; (detail / hgweb)
3. pro-forma support for optional zproof: no proper content yet; (detail / hgweb)
4. clarified signature: follow Term.could_unify; (detail / hgweb)
5. clarified bootstrap --- modules related to proofterm.ML; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 12 min waiting;
• 2 hr 6 min build duration;
• 3 hr 19 min total from scheduled to completion.