#834 (Jan 4, 2019, 12:50:07 AM)

1. tuned spelling; (detail / hgweb)
2. isabelle update_inner_syntax_cartouches; (detail / hgweb)
3. support for isabelle update -u inner_syntax_cartouches; (detail / hgweb)
4. tuned; (detail / hgweb)
5. isabelle update -u mixfix_cartouches; (detail / hgweb)
6. support for "isabelle update -u mixfix_cartouches"; (detail / hgweb)
7. NEWS; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. tuned output; (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned; (detail / hgweb)
12. mixfix annotations may use cartouches; (detail / hgweb)
13. tuned; (detail / hgweb)
14. tuned; (detail / hgweb)
15. tuned; (detail / hgweb)
16. tuned signature; (detail / hgweb)
17. clarified signature: more types; (detail / hgweb)
18. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 18 min total from scheduled to completion.