#1203 (May 28, 2020, 12:51:10 AM)

1. adapted to d25093536482; (detail / hgweb)
2. clarified markup; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned; (detail / hgweb)
6. more NEWS; (detail / hgweb)
7. more documentation on Isabelle/Scala; (detail / hgweb)
8. proper error positions; (detail / hgweb)
9. tuned; (detail / hgweb)
10. tuned whitespace; (detail / hgweb)
11. more antiquotations; (detail / hgweb)
12. check bash functions against Isabelle settings environment; (detail / hgweb)
13. misc tuning; (detail / hgweb)
14. breakable scala_name; (detail / hgweb)
15. tuned signature; (detail / hgweb)
16. discontinued pointless document antiquotation; (detail / hgweb)
17. proper check of example; (detail / hgweb)
18. clarified signature --- fit within limit of 22 arguments; (detail / hgweb)
19. tuned; (detail / hgweb)
20. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 10 sec waiting;
• 5 hr 0 min build duration;
• 5 hr 0 min total from scheduled to completion.