#265 (Feb 23, 2017, 12:50:10 AM)

1. more correct wording (detail / hgweb)
2. explicit dynamic context for gap-bridging function (detail / hgweb)
3. more precise NEWS and CONTRIBUTORS (detail / hgweb)
4. basic documentation for computations (detail / hgweb)
5. The Great Picard Theorem (detail / hgweb)
6. New theory about Winding Numbers (detail / hgweb)
7. new lemmas about segments, etc. Also recast some theorems to use Union rather than general set comprehensions (detail / hgweb)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 1 hr 12 min build duration;
• 1 hr 12 min total from scheduled to completion.