#205 (May 21, 2016, 6:53:09 PM)

1. regenerate website (detail / hgweb)
2. merge from afp-2016 (detail / hgweb)
3. submission system only allows "../entry/thy" method (detail / hgweb)
4. tuned (detail / hgweb)
5. New entry Perron_Frobenius (and a few import tweaks of old theories) (detail / hgweb)
6. new entry Incredible_Proof_Machine (detail / hgweb)
7. capitalisation (detail / hgweb)
8. FLP webpage (detail / hgweb)
9. new entry FLP (detail / hgweb)
10. Randomised_Social_Choice: inserted timeout (detail / hgweb)
11. integrated improved equality test for algebraic numbers
    (unlike the previous algorithm, the new one terminates even if
    the factorization oracle delivers partial factorizations) (detail / hgweb)

Started by an SCM change