#765 (Oct 18, 2018, 12:50:07 AM)

1. more robust: avoid implicit setup (with default resolver); (detail / hgweb)
2. more portable; (detail / hgweb)
3. proper path; (detail / hgweb)
4. tuned; (detail / hgweb)
5. merged (detail / hgweb)
6. avoid strict evaluation of "isabelle_stack path --programs"; (detail / hgweb)
7. enforce settings that are likely to be outdated, e.g. in $ISABELLE_HOME_USER/etc/settings; (detail / hgweb)
8. support for GHC via command-line tools; (detail / hgweb)
9. tuned; (detail / hgweb)
10. tuned message; (detail / hgweb)
11. auto update; (detail / hgweb)
12. isabelle_stack as portable shell function; (detail / hgweb)
13. tuned; (detail / hgweb)
14. added Array files (detail / hgweb)
15. new theory Abstract_Topology with lots of stuff from HOL Light's metric.sml (detail / hgweb)
16. more intuitive and simpler (but slower) proofs (detail / hgweb)

Started by an SCM change

This run spent:

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