#972 (Jul 7, 2017, 10:23:12 AM)

1. merge (detail / hgweb)
2. Adapted Deep_Learning for changes in Jordan_Normal_Form (detail / hgweb)
3. Improved locale interpretations (detail / hgweb)
4. Generalized abstract conjugate (detail / hgweb)
5. merge (detail / hgweb)
6. merged (detail / hgweb)
7. Various generalizations and cleanings (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 23 min build duration;
• 23 min total from scheduled to completion.