#545 (Oct 19, 2016, 3:22:06 PM)

1. merged (detail / hgweb)
2. added system option "profiling"; (detail / hgweb)
3. replaced inefficient valid_accesses by is_valid_access, based on stored input accesses: e.g. relevant for Proof_Context.update_thms; (detail / hgweb)
4. tuned signature, in accordance to Isabelle_System; (detail / hgweb)
5. tuned; (detail / hgweb)
6. clarified modules; (detail / hgweb)
7. another attempt to squeeze a list into a property list entry; (detail / hgweb)
8. report actual build_args; (detail / hgweb)
9. more flexible multicore configuration; (detail / hgweb)
10. clarified multiple props: result needs to fit on a single line within the log file; (detail / hgweb)
11. clarified properties; (detail / hgweb)
12. tuned; (detail / hgweb)
13. support for free-form build tags;
    tuned; (detail / hgweb)
14. explicit identification of builds and correlated build groups; (detail / hgweb)
15. avoid spamming log file; (detail / hgweb)
16. shared_home is default for classic isatest home setup;
    distinct ISABELLE_IDENTIFIER for all tasks; (detail / hgweb)

Started by an SCM change

This run spent:

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