#439 (Oct 9, 2017, 12:50:12 AM)

1. more on Docker; (detail / hgweb)
2. removed obsolete RC tags; (detail / hgweb)
3. build_docker is regular tool (non-admin); (detail / hgweb)
4. merged (detail / hgweb)
5. Added tag Isabelle2017 for changeset 64b47495676d (detail / hgweb)
6. obsolete; (detail / hgweb)
7. more NEWS; (detail / hgweb)
8. updated for release; (detail / hgweb)
9. merged (detail / hgweb)
10. proper File.platform_path for SML/NJ on Windows; (detail / hgweb)
11. clarified signature; (detail / hgweb)
12. proper output of raw ML; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.1 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 19 min total from scheduled to completion.