#1508 (Jul 19, 2021, 12:50:10 AM)

1. tuned; (detail / hgweb)
2. NEWS; (detail / hgweb)
3. updated documentation on Isabelle/Scala; (detail / hgweb)
4. discontinued obsolete Apple (deprecated); (detail / hgweb)
5. clarified component setup: exclude jar from active component, but use sources from template within ISABELLE_HOME (relevant for "isabelle scala_project -L"); (detail / hgweb)
6. more robust "isabelle build_scala" as separate tool; (detail / hgweb)

Started by an SCM change

This run spent:

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