#639 (May 24, 2018, 1:26:09 AM)

1. merged (detail / hgweb)
2. small tidy-up of Complex_Transcendental (detail / hgweb)
3. merged (detail / hgweb)
4. small clean-up of Complex_Analysis_Basics (detail / hgweb)
5. more complete and more correct documentation on code generation (detail / hgweb)
6. grouped material on numeral division (detail / hgweb)
7. automatic classical rule to derive a dvd b from b mod a = 0 (detail / hgweb)
8. consider dvdE for automated classical proving (detail / hgweb)

Started by an SCM change

This run spent:

• 36 min waiting;
• 1 hr 15 min build duration;
• 1 hr 52 min total from scheduled to completion.