#1730 (Jul 9, 2022, 2:42:33 AM)

1. tuned comments; (detail / hgweb)
2. support for Isabelle/Scala/Java modules in Isabelle/ML; (detail / hgweb)
3. more robust Scala 3 indentation, for the sake of IntelliJ IDEA; (detail / hgweb)
4. clarified signature: read_theory_exports is already ordered; (detail / hgweb)
5. clarified signature; (detail / hgweb)
6. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 52 min waiting;
• 1 hr 48 min build duration;
• 3 hr 40 min total from scheduled to completion.