#1735 (Jul 23, 2022, 12:50:10 AM)

1. merged (detail / hgweb)
2. more documentation; (detail / hgweb)
3. tuned; (detail / hgweb)
4. removed obsolete commands; (detail / hgweb)
5. command 'scala_build_generated_files' with proper management of source dependencies;
   support more file-formats; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. tuned messages; (detail / hgweb)
8. support more file types; (detail / hgweb)
9. support for Java language; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. clarified signature; (detail / hgweb)
12. support for classpath artifacts within session structure: (detail / hgweb)
13. clarified names; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. clarified signature; (detail / hgweb)
16. clarified signature; (detail / hgweb)
17. clarified signature; (detail / hgweb)
18. unused; (detail / hgweb)
19. clarified signature; (detail / hgweb)
20. tuned signature: more explicit types; (detail / hgweb)
21. fix document build error (detail / hgweb)
22. tuned (some HOL lints, by Yecine Megdiche); (detail / hgweb)

Started by an SCM change

This run spent:

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