#526 (Jan 12, 2018, 12:50:10 AM)

1. uniform use of Standard ML op-infix -- eliminated warnings; (detail / hgweb)
2. proper infix; (detail / hgweb)
3. line break before op was intentional (detail / hgweb)

Started by an SCM change

This run spent:

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