#170 (Oct 15, 2016, 12:50:08 AM)

1. merged (detail / hgweb)
2. cronjob: build release from repository snapshot; (detail / hgweb)
3. more operations; (detail / hgweb)
4. clarified file operations; (detail / hgweb)
5. proper link; (detail / hgweb)
6. explicit website directory; (detail / hgweb)
7. proper path; (detail / hgweb)
8. tuned messages; (detail / hgweb)
9. clarified platform families vs. bundles; (detail / hgweb)
10. more general operations; (detail / hgweb)
11. website index for existing bundles; (detail / hgweb)
12. tuned messages; (detail / hgweb)
13. added option -p for platform families;
    actually accept option -r; (detail / hgweb)
14. more formal Release_Info;
    more incremental treatment of additional builds (bundles, library);
    tuned; (detail / hgweb)
15. replaced shell script by Isabelle/Scala; (detail / hgweb)
16. tuned; (detail / hgweb)
17. tuned whitespace; (detail / hgweb)
18. clarified; (detail / hgweb)
19. tuned; (detail / hgweb)
20. tuned message; (detail / hgweb)
21. more robust wrt. old versions that use clear-text properties (e.g. Timing in build_history_base); (detail / hgweb)
22. tuned; (detail / hgweb)
23. integrity test of build_history vs. build_history_base;
    misc tuning and clarification; (detail / hgweb)
24. clarified log_subdir vs. log_filename;
    support for sequential and parallel task blocks (unnamed); (detail / hgweb)
25. tuned; (detail / hgweb)
26. tuned; (detail / hgweb)
27. provide USER_HOME, such that symbolic Path.explode("~") can be used remotely; (detail / hgweb)
28. tuned signature;
    copy_dir using *this* Isabelle_System: note that File.bash_path is already expanded, but no variables are used here; (detail / hgweb)
29. clarified modules; (detail / hgweb)
30. allow to exclude named tasks; (detail / hgweb)
31. support for separate sub-system options, independent of main Isabelle options;
    tuned; (detail / hgweb)
32. tuned; (detail / hgweb)
33. tuned; (detail / hgweb)
34. more cleanup; (detail / hgweb)
35. separate ISABELLE_HOME_USER (with its etc/settings); (detail / hgweb)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.