#1906 (Mar 4, 2023, 12:50:09 AM)

1. merged (detail / hgweb)
2. more database content;
   clarified signature;
   tuned comments; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. tuned whitespace; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. merged (detail / hgweb)
7. More of Eberl's material (detail / hgweb)
8. Some new lemmas. Some tidying up (detail / hgweb)
9. detect duplicates in Sledgehammer output -- suggested by Larry Paulson (detail / hgweb)
10. got rid of 'important message' mechanism in SystemOnTPTP (which is less used nowadays) (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 1 hr 54 min build duration;
• 1 hr 54 min total from scheduled to completion.