#1422 (Feb 26, 2018, 12:59:40 PM)

1. more readable proof (detail / hgweb)
2. removed workaround for code-generation problem, by using Florian's fix in 3817a93a3e5e (detail / hgweb)
3. merged (detail / hgweb)
4. moved Lipschitz continuity and Gromov_Hyperbolicity/Library_Complements (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 3 hr 15 min build duration;
• 3 hr 15 min total from scheduled to completion.