#1500 (Jul 10, 2021, 12:50:10 AM)

1. merged (detail / hgweb)
2. rebuild component; (detail / hgweb)
3. expand file paths, e.g. to allow $ISABELLE_HOME, $ISABELLE_HOME_USER; (detail / hgweb)
4. support expand_platform_path, which is reminiscent of isabelle.Path.expand; (detail / hgweb)
5. skip scalac for Java build; (detail / hgweb)
6. support mixed Scala/Java build;
   clarified scalac/javac options; (detail / hgweb)
7. clarified javac options; (detail / hgweb)
8. clarified syntax: similar to URL; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. more robust; (detail / hgweb)
11. more robust; (detail / hgweb)
12. more compiler_deps via "requirements", notably jar list from settings;
    proper Files.createDirectories; (detail / hgweb)
13. clarified component settings; (detail / hgweb)
14. clarified shasum: sources / resources within jar; (detail / hgweb)
15. tuned signature; (detail / hgweb)
16. clarified modules; (detail / hgweb)
17. merged (detail / hgweb)
18. fixed HOL-TPTP following f58108b7a60c (detail / hgweb)
19. documented Sledgehammer option "induction_rules" (detail / hgweb)
20. refactored Sledgehammer option "induction_rules" (detail / hgweb)
21. promoted "sledgehammer_instantiate_inducts" to proper option "induction_rules" (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.