#282 (Jun 26, 2016, 5:14:10 AM)

1. regenerate devel website (detail / hgweb)
2. adjust for isabelle 77332fed33c3 (detail / hgweb)
3. merge from afp-2016 (detail / hgweb)
4. new entry Category3 by by Eugene Stark (detail / hgweb)
5. clean up old SF mentions in admin/ (detail / hgweb)
6. new entry Card_Multisets by Lukas Bulwahn (detail / hgweb)
7. tuned (detail / hgweb)
8. New entry Dependent_SIFUM_Type_Systems (detail / hgweb)
9. reduced timeout (detail / hgweb)
10. standardised imports (detail / hgweb)
11. new entry Algebraic_VCs (detail / hgweb)

Started by an SCM change