#745 (Sep 24, 2018, 12:50:07 AM)

1. discontinued old-style goal cases; (detail / hgweb)
2. tuned; (detail / hgweb)
3. more robust: logic image might be absent in PIDE session; (detail / hgweb)
4. discontinued old-style inner comments; (detail / hgweb)
5. tuned; (detail / hgweb)
6. eliminated old-style inner comments; (detail / hgweb)
7. More standard precedences (detail / hgweb)
8. more standard syntax (detail / hgweb)
9. News (detail / hgweb)
10. use standard syntax (detail / hgweb)

Started by an SCM change

This run spent:

• 5.8 sec waiting;
• 1 hr 19 min build duration;
• 1 hr 19 min total from scheduled to completion.