#721 (Aug 31, 2018, 1:32:16 AM)

1. Some basic materials on filters and topology (detail / hgweb)
2. merged (detail / hgweb)
3. more accurate position for auxiliary files; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. tuned; (detail / hgweb)
6. more careful treatment position: existing facts refer to interpretation command, future facts refer to themselves (see also 4270da306442); (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. clarified signature: explicit type Locale.registration; (detail / hgweb)
11. tuned; (detail / hgweb)
12. tuned; (detail / hgweb)
13. updated URL to remote TPTP, following heads-up from Geoff Sutcliffe (detail / hgweb)

Started by an SCM change

This run spent:

• 42 min waiting;
• 1 hr 15 min build duration;
• 1 hr 58 min total from scheduled to completion.