#828 (Dec 29, 2018, 12:50:07 AM)

1. more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs"; (detail / hgweb)
2. merged; (detail / hgweb)
3. clarified sessions_deps, according to Isabelle/MMT usage; (detail / hgweb)
4. tuned signature: for other dump-like tools; (detail / hgweb)
5. unused; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified defaults via system options; (detail / hgweb)
8. added bib-file (detail / hgweb)
9. tuned headers etc, added bib-file (detail / hgweb)
10. tuned style and headers (detail / hgweb)

Started by an SCM change

This run spent:

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