#513 (Oct 11, 2016, 3:19:04 PM)

1. merged (detail / hgweb)
2. build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil; (detail / hgweb)
3. makedist_bundle works on Linux as well: build dmg on remote Mac; (detail / hgweb)
4. added isabelle remote_dmg tool; (detail / hgweb)
5. proper type for Library.using;
   tuned signature; (detail / hgweb)
6. support user@host syntax; (detail / hgweb)
7. modernized date format; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline; (detail / hgweb)
10. support for remote tmp dirs; (detail / hgweb)
11. close more thoroughly; (detail / hgweb)
12. provide execute operation, similar to Isabelle_System.bash; (detail / hgweb)
13. proper support for exec channel (see also bash.scala); (detail / hgweb)
14. proper hierarchic names; (detail / hgweb)
15. more Sftp operations; (detail / hgweb)
16. more specific channels;
    more Sftp operations; (detail / hgweb)
17. clarified treatment of options;
    more uniform channels; (detail / hgweb)
18. support for remote command execution;
    tuned; (detail / hgweb)
19. tuned; (detail / hgweb)
20. more generous timeout default (see also jEdit/FTP); (detail / hgweb)
21. connect session by default;
    tuned signature; (detail / hgweb)
22. clarified (hardwired!) default (see also jEdit/FTP); (detail / hgweb)
23. tuned comment; (detail / hgweb)
24. support for SSH in Isabelle/Scala; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 36 min total from scheduled to completion.