#706 (Jan 17, 2017, 4:26:06 PM)

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

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 9 min build duration;
• 1 hr 14 min total from scheduled to completion.