#1177 (Apr 23, 2020, 12:50:09 AM)

1. hooks for foundational terms: protection of foundational terms during simplification (detail / hgweb)
2. merged (detail / hgweb)
3. merged (detail / hgweb)
4. avoid deprecated operations; (detail / hgweb)
5. tuned -- avoid odd compiler warning; (detail / hgweb)
6. avoid deprecated operations; (detail / hgweb)
7. deprecated and obsolete; (detail / hgweb)
8. tuned signature -- avoid warnings; (detail / hgweb)
9. more informative error; (detail / hgweb)
10. new funs successive and distinct_adj (detail / hgweb)
11. added lemmas (detail / hgweb)

Started by an SCM change

This run spent:

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