#857 (Jan 29, 2019, 12:50:10 AM)

1. revert accident with raw Unicode (not Isabelle symbols) in 7404f5b91e56; (detail / hgweb)
2. changed precedence of big operators: now like any other function symbol (detail / hgweb)
3. more canonical and less specialized syntax (detail / hgweb)

Started by an SCM change

This run spent:

• 8.6 sec waiting;
• 1 hr 23 min build duration;
• 1 hr 23 min total from scheduled to completion.