#2033 (May 27, 2020, 4:39:03 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 24 min total from scheduled to completion.

• Distribution