#880 (Mar 4, 2019, 12:50:07 AM)

1. tuned signature; (detail / hgweb)
2. clarified signature -- allow more re-use; (detail / hgweb)
3. concrete predicates from "Dublin Core"; (detail / hgweb)
4. clarified signature;
   suppress already loaded theories; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. tuned document; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.3 sec waiting;
• 1 hr 26 min build duration;
• 1 hr 26 min total from scheduled to completion.