#1030 (Oct 13, 2019, 12:50:08 AM)

1. clarified signature default; (detail / hgweb)
2. clarified signature default; (detail / hgweb)
3. more operations for type classes; (detail / hgweb)
4. setup preprocessing for HOL proofs; (detail / hgweb)
5. support preprocessing of exported proofs; (detail / hgweb)
6. early setup of proof preprocessing; (detail / hgweb)
7. clarified output and input of Typ/Term; (detail / hgweb)
8. adapted to ML version; (detail / hgweb)
9. more compact XML; (detail / hgweb)
10. more compact XML: separate environment for free variables;
    clarified fold_proof_terms vs. fold_proof_terms_types; (detail / hgweb)
11. more compact XML; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.