#814 (Dec 13, 2018, 12:50:08 AM)

1. merged; (detail / hgweb)
2. more Haskell operations; (detail / hgweb)
3. more uniform multi-language operations;
   misc tuning and clarification; (detail / hgweb)
4. more Haskell operations; (detail / hgweb)
5. more uniform multi-language operations;
   misc tuning and clarification; (detail / hgweb)
6. more uniform multi-language operations;
   clarified modules and signature; (detail / hgweb)
7. more operations (as in ML); (detail / hgweb)
8. more uniform multi-language operations;
   clarified modules and signature; (detail / hgweb)
9. more uniform multi-language operations; (detail / hgweb)
10. Tagged some of HOL-Analysis (detail / hgweb)

Started by an SCM change

This run spent:

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