#995 (Aug 1, 2017, 5:17:12 PM)

1. merge from AFP-2016-1 (detail / hgweb)
2. sitegen for Stewart_Apollonius (detail / hgweb)
3. new entry: Stewart_Apollonius (detail / hgweb)
4. new entry DynamicArchitectures (detail / hgweb)
5. New entry Decl_Sem_Fun_PL (detail / hgweb)
6. new entry HOLCF-Prelude (detail / hgweb)
7. change submission guidelines at the right place (detail / hgweb)
8. mention subgoal command (detail / hgweb)

Started by an SCM change

This run spent:

• 7.2 sec waiting;
• 2 min 27 sec build duration;
• 2 min 34 sec total from scheduled to completion.