#1065 (Sep 5, 2017, 7:32:11 AM)

1. merge from afp-2016-1 (detail / hgweb)
2. First_Welfare_Theorem webpage (detail / hgweb)
3. Kaliszyk's webpage (detail / hgweb)
4. new entry First_Welfare_Theorem (detail / hgweb)
5. New entry Orbit_Stabiliser (detail / hgweb)
6. new entry LambdaMu (detail / hgweb)
7. New entry: Root-Balanced Tree (detail / hgweb)

Started by an SCM change

This run spent:

• 8.6 sec waiting;
• 5 min 0 sec build duration;
• 5 min 9 sec total from scheduled to completion.