#967 (Jul 23, 2019, 12:50:11 AM)

1. tuned comments -- proper sections; (detail / hgweb)
2. support export_proofs, prune_proofs;
   tuned comments; (detail / hgweb)
3. clarified postproc: apply shrink_proof last, e.g. relevant for export of full proof term; (detail / hgweb)
4. tuned; (detail / hgweb)
5. clarified exception; (detail / hgweb)
6. tuned; (detail / hgweb)
7. more accurate type information; (detail / hgweb)
8. unused (see also 42fbb6abed5a); (detail / hgweb)

Started by an SCM change

This run spent:

• 9.6 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 17 min total from scheduled to completion.