#863 (Feb 5, 2019, 12:50:10 AM)

1. Resolved codegen problem with uniformity for formal Laurent series (detail / hgweb)
2. Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre) (detail / hgweb)
3. Exponentiation by squaring, fast modular exponentiation (detail / hgweb)
4. more thorough File.set_executable, notably for Windows; (detail / hgweb)
5. added executable flag for exports;
   clarified signature; (detail / hgweb)
6. clarified URL -- avoid odd certificate problem with api.media.atlassian.com; (detail / hgweb)
7. back to stable polyml-5.7.1-8 for now; (detail / hgweb)
8. More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 18 min total from scheduled to completion.