#1068 (Nov 25, 2019, 12:53:55 AM)

1. updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326); (detail / hgweb)
2. clarified vacuous selection vs. Pure; (detail / hgweb)
3. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 53 sec waiting;
• 1 hr 10 min build duration;
• 1 hr 14 min total from scheduled to completion.