#1033 (Oct 16, 2019, 12:50:10 AM)

1. more support for proof terms;
   clarified signature; (detail / hgweb)
2. more support for proof terms; (detail / hgweb)
3. support for proof terms; (detail / hgweb)
4. clarified proof export; (detail / hgweb)
5. set_preproc for object-logics with type classes; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. skip (somewhat pointless) shrink_proof more uniformly; (detail / hgweb)
8. apply_preproc for all proof boxes; (detail / hgweb)
9. cumulative errors for session partitions; (detail / hgweb)
10. proper guard for process_theory: ensure uniform precedence of results; (detail / hgweb)
11. load HOL-Proofs first: it introduces some extra "thm" items that are required later on; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 22 min total from scheduled to completion.