#1119 (Feb 11, 2020, 12:50:09 AM)

1. proper symbols; (detail / hgweb)
2. NEWS; (detail / hgweb)
3. recover from Unicode accident in 4abd07cd034f; (detail / hgweb)
4. updated for release; (detail / hgweb)
5. NEWS; (detail / hgweb)
6. NEWS; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned; (detail / hgweb)
9. easy abstraction over pointwise bit operations (detail / hgweb)
10. more rules for natural deduction from inequalities (detail / hgweb)

Started by an SCM change

This run spent:

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