#988 (Aug 17, 2019, 12:50:11 AM)

1. merged (detail / hgweb)
2. maintain thm_name vs. derivation_id for global facts; (detail / hgweb)
3. clarified identity of PThm nodes: do not reuse old id after renaming -- enforce uniqueness of substructures; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. Fixed brace matching (plus some whitespace cleanup) (detail / hgweb)
6. merged (detail / hgweb)
7. new material on eqiintegrable functions, etc. (detail / hgweb)
8. clarified treatment of individual theorems;
   tuned messages; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. clarified derivation_name vs. raw_derivation_name; (detail / hgweb)

Started by an SCM change

This run spent:

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