#1404 (Jan 11, 2018, 1:55:07 PM)

1. uniform use of Standard ML op-infix -- eliminated warnings; (detail / hgweb)
2. proper infix; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 3 hr 23 min build duration;
• 3 hr 28 min total from scheduled to completion.