#175 (Oct 20, 2016, 12:50:11 AM)

1. updated to jdk-8u112; (detail / hgweb)
2. basic SSH server configuration; (detail / hgweb)
3. proper isabelle tool in Scala; (detail / hgweb)
4. tuned; (detail / hgweb)
5. merged (detail / hgweb)
6. added system option "profiling"; (detail / hgweb)
7. replaced inefficient valid_accesses by is_valid_access, based on stored input accesses: e.g. relevant for Proof_Context.update_thms; (detail / hgweb)
8. tuned signature, in accordance to Isabelle_System; (detail / hgweb)
9. tuned; (detail / hgweb)
10. clarified modules; (detail / hgweb)
11. another attempt to squeeze a list into a property list entry; (detail / hgweb)
12. report actual build_args; (detail / hgweb)
13. more flexible multicore configuration; (detail / hgweb)
14. clarified multiple props: result needs to fit on a single line within the log file; (detail / hgweb)
15. clarified properties; (detail / hgweb)
16. tuned; (detail / hgweb)
17. support for free-form build tags;
    tuned; (detail / hgweb)
18. explicit identification of builds and correlated build groups; (detail / hgweb)
19. avoid spamming log file; (detail / hgweb)
20. 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:

• 9.6 sec waiting;
• 1 hr 4 min build duration;
• 1 hr 4 min total from scheduled to completion.