#186 (May 11, 2016, 3:10:13 AM)

1. merge from afp-2016 (detail / hgweb)
2. Merged in larsrh/afp-2016/config (pull request #2)
   
   config → metadata (detail / hgweb)
3. run config migration script (detail / hgweb)
4. script to move 'NOTIFY' field from config to metadata (detail / hgweb)
5. tuned configs (detail / hgweb)
6. update README (detail / hgweb)
7. web page for MFMC_Countable (detail / hgweb)
8. new entry MFMC_Countable by Andreas Lochbihler (detail / hgweb)
9. SDS_Impossibility webpage (detail / hgweb)
10. new entry SDS_Impossibility (detail / hgweb)
11. fixed metadata (detail / hgweb)
12. Randomised_Social_Choice webpage (detail / hgweb)
13. new entry Randomised_Social_Choice (detail / hgweb)
14. New entry Bell_Numbers_Spivey (detail / hgweb)
15. forgot config file (detail / hgweb)
16. New entry Groebner_Bases (detail / hgweb)
17. New entry No_FTL_observers (detail / hgweb)
18. fixing the CYK conflict, bah! (detail / hgweb)
19. Merge (generating index again) (detail / hgweb)
20. ROBDD webpage (detail / hgweb)
21. new entry ROBDD (detail / hgweb)
22. new entry CYK (detail / hgweb)
23. Noninterference_Sequential_Composition website (detail / hgweb)
24. new entry: Noninterference_Sequential_Composition (detail / hgweb)

Started by an SCM change