#815 (Dec 14, 2018, 12:50:11 AM)

1. tuned signature; (detail / hgweb)
2. tuned; (detail / hgweb)
3. clarified UUID operations;
   proper check of server password; (detail / hgweb)
4. clarified protocol; (detail / hgweb)
5. clarified signature; (detail / hgweb)
6. more Haskell operations;
   clarified signature; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. clarified signature, e.g. for re-use by other servers; (detail / hgweb)
9. more Haskell operations; (detail / hgweb)
10. clarified modules and signature; (detail / hgweb)
11. tagged more of HOL-Analysis (detail / hgweb)

Started by an SCM change

This run spent:

• 9.5 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.