#948 (Jun 2, 2019, 12:50:09 AM)

1. tuned imports -- accommodate scala-2.13.0-RC3; (detail / hgweb)
2. tuned -- accommodate scala-2.13.0-RC3; (detail / hgweb)
3. merged (detail / hgweb)
4. Added tag Isabelle2019-RC4 for changeset ad2d84c42380 (detail / hgweb)
5. hint on printing via Web browser; (detail / hgweb)
6. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 15 min total from scheduled to completion.