#781 (Nov 6, 2018, 12:50:11 AM)

1. proper self_update for isolated host; (detail / hgweb)
2. renovated macOS tests; (detail / hgweb)
3. support remote_build_history with optional ghc_setup / ocaml_setup; (detail / hgweb)
4. more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing); (detail / hgweb)
5. clarified names; (detail / hgweb)
6. more Haskell operations;
   tuned; (detail / hgweb)
7. support sub-directories, i.e. structure module names; (detail / hgweb)
8. prefer symbolic path: it is potentially persisted; (detail / hgweb)
9. tuned (see map_index); (detail / hgweb)
10. tuned; (detail / hgweb)
11. simplified proof, moved lemma, added lemma (detail / hgweb)

Started by an SCM change

This run spent:

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