#1419 (Feb 24, 2018, 11:32:11 PM)

1. more symbols; (detail / hgweb)
2. isabelle update_cartouches -t; (detail / hgweb)
3. more symbols; (detail / hgweb)
4. isabelle update_cartouches -t; (detail / hgweb)
5. more symbols; (detail / hgweb)
6. more symbols; (detail / hgweb)
7. isabelle update_cartouches -t; (detail / hgweb)
8. more symbols; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.2 sec waiting;
• 1 hr 44 min build duration;
• 1 hr 44 min total from scheduled to completion.