#612 (Apr 26, 2018, 12:50:10 AM)

1. more messy proofs redone, and new material (detail / hgweb)
2. merged (detail / hgweb)
3. merged (detail / hgweb)
4. new material on matricies by Tim Makarios (from Tarskis_Geometry in the AFP) (detail / hgweb)
5. merged (detail / hgweb)
6. tuned -- avoid spurious exception trace for "the"; (detail / hgweb)
7. proof of concept for residue rings over int using type numerals (detail / hgweb)
8. more correct error message (detail / hgweb)
9. uniform tagging for printable and non-printable literals (detail / hgweb)

Started by an SCM change

This run spent:

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