#237 (Jan 18, 2017, 12:51:09 AM)

1. tuned (detail / hgweb)
2. removed some old ASCII syntax; (detail / hgweb)
3. prefer context groups; (detail / hgweb)
4. misc tuning and modernization; (detail / hgweb)
5. prefer context groups; (detail / hgweb)
6. more symbols; (detail / hgweb)
7. misc tuning and modernization; (detail / hgweb)
8. isabelle update_cartouches -c -t; (detail / hgweb)
9. more symbols via abbrevs; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 10 min build duration;
• 1 hr 10 min total from scheduled to completion.