#1052 (Nov 5, 2019, 12:50:11 AM)

1. proper message (amending 94442fce40a5); (detail / hgweb)
2. more robust Thm.expose_theory -- ensure that PIDE export happens in the proper theory context; (detail / hgweb)
3. uniform "prune_proofs" for Thm_Node / PThm, but it is in conflict with export_proofs of re-used nodes; (detail / hgweb)
4. tuned; (detail / hgweb)
5. updated xml_size; (detail / hgweb)
6. prefer named result; (detail / hgweb)
7. more robust expose_proofs corresponding to register_proofs/consolidate_theory;
   expose_proofs of class algebra more aggresively, to ensure early export within original theory/session context; (detail / hgweb)

Started by an SCM change

This run spent:

• 10 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.