#167 (Oct 12, 2016, 12:50:06 AM)

1. proper redirection; (detail / hgweb)
2. tuned output; (detail / hgweb)
3. tuned message -- more parsable; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. identify managed repository clones; (detail / hgweb)
6. some timing and logging, similar to old isatest.log; (detail / hgweb)
7. enforce short name, notably on Mac OS X; (detail / hgweb)
8. tuned -- Date.Format.default used by toString; (detail / hgweb)
9. clarified modules; (detail / hgweb)
10. force fresh build; (detail / hgweb)
11. basic setup for Isabelle cronjob; (detail / hgweb)
12. tuned; (detail / hgweb)
13. merged (detail / hgweb)
14. build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil; (detail / hgweb)
15. makedist_bundle works on Linux as well: build dmg on remote Mac; (detail / hgweb)
16. added isabelle remote_dmg tool; (detail / hgweb)
17. proper type for Library.using;
    tuned signature; (detail / hgweb)
18. support user@host syntax; (detail / hgweb)
19. modernized date format; (detail / hgweb)
20. tuned signature; (detail / hgweb)
21. eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline; (detail / hgweb)
22. support for remote tmp dirs; (detail / hgweb)
23. close more thoroughly; (detail / hgweb)
24. provide execute operation, similar to Isabelle_System.bash; (detail / hgweb)
25. proper support for exec channel (see also bash.scala); (detail / hgweb)
26. proper hierarchic names; (detail / hgweb)
27. more Sftp operations; (detail / hgweb)
28. more specific channels;
    more Sftp operations; (detail / hgweb)
29. clarified treatment of options;
    more uniform channels; (detail / hgweb)
30. support for remote command execution;
    tuned; (detail / hgweb)
31. tuned; (detail / hgweb)
32. more generous timeout default (see also jEdit/FTP); (detail / hgweb)
33. connect session by default;
    tuned signature; (detail / hgweb)
34. clarified (hardwired!) default (see also jEdit/FTP); (detail / hgweb)
35. tuned comment; (detail / hgweb)
36. support for SSH in Isabelle/Scala; (detail / hgweb)

Started by an SCM change

This run spent:

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