#1201 (May 25, 2020, 12:51:07 AM)

1. merged (detail / hgweb)
2. proper stack_limit; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. more accurate classpath for "isabelle scala"; (detail / hgweb)
5. proper check of registered Scala functions; (detail / hgweb)
6. asynchronous build_session: notably for Scala.fulfill protocol commands during run; (detail / hgweb)
7. clarified build_session protocol; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. clarified name; (detail / hgweb)
10. more robust: explicit check for PIDE session; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. unused; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. check Scala source snippets from ML; (detail / hgweb)
15. more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment; (detail / hgweb)
16. init default context; (detail / hgweb)
17. tuned message; (detail / hgweb)
18. clarified signature; (detail / hgweb)
19. tuned; (detail / hgweb)
20. more brackets (see 2e8af171887f); (detail / hgweb)
21. tuned message; (detail / hgweb)
22. clarified signature;
    more operations; (detail / hgweb)
23. unused; (detail / hgweb)
24. more robust, notably for "isabelle scala"; (detail / hgweb)
25. clarified signature; (detail / hgweb)
26. reorganised sorted_set_of_list (detail / hgweb)
27. merged (detail / hgweb)
28. simpler inductions (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.