#1493 (Jul 1, 2021, 12:50:07 AM)

1. tuned imports; (detail / hgweb)
2. merged (detail / hgweb)
3. clarified Isabelle/Java/Scala project setup; (detail / hgweb)
4. support for Isabelle setup in pure Java; (detail / hgweb)
5. tuned: prefer Java interfaces; (detail / hgweb)
6. clarified package: towards stand-alone setup; (detail / hgweb)
7. tuned; (detail / hgweb)
8. more direct java.home, according to current jdk directory layout; (detail / hgweb)
9. tuned; (detail / hgweb)
10. clarified modules;
    avoid initial use of _settings during init; (detail / hgweb)
11. tuned: prefer Java interfaces; (detail / hgweb)
12. tuned: prefer Java interfaces; (detail / hgweb)
13. clarified signature: prefer Java interfaces; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. clarified signature; (detail / hgweb)
16. proper usage; (detail / hgweb)
17. clarified modules; (detail / hgweb)
18. tuned; (detail / hgweb)
19. clarified modules (again): services require full Isabelle/Scala environment; (detail / hgweb)
20. clarified modules; (detail / hgweb)
21. updated to scala-2.13.6, with scala-xml 1.3.0 ~> 2.0.0; (detail / hgweb)
22. clarified environment (amending 9444489766a1); (detail / hgweb)
23. merged (detail / hgweb)
24. move code setup from Cardinality to separate theory (detail / hgweb)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 1 hr 30 min build duration;
• 1 hr 30 min total from scheduled to completion.