#1336 (Nov 20, 2020, 12:50:09 AM)

1. clarified messages; (detail / hgweb)
2. proper message; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. clarified modules; (detail / hgweb)
5. more robust library_call (again): dynamic file name, static symbol; (detail / hgweb)
6. updated to polyml-test-7e49fce62e3d --- follow current ongoing development; (detail / hgweb)
7. reintroduced and renamed THF_Predicate_Free deleted by c7e2a9bdc585 (detail / hgweb)
8. repaired thf output broken by c7e2a9bdc585 (detail / hgweb)
9. renamed data type (detail / hgweb)
10. tuned terminology (detail / hgweb)

Started by an SCM change

This run spent:

• 7.5 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.