#641 (May 26, 2018, 12:50:10 AM)

1. tuned; (detail / hgweb)
2. merged (detail / hgweb)
3. added command 'ML_export'; (detail / hgweb)
4. more examples; (detail / hgweb)
5. tuned output; (detail / hgweb)
6. pretty-print according to defaults of input syntax; (detail / hgweb)
7. more accurate diagram; (detail / hgweb)
8. proper output; (detail / hgweb)
9. treat gcd_eq_1_imp_coprime analogously to mod_0_imp_dvd (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 27 min total from scheduled to completion.