#957 (Jun 22, 2017, 10:11:12 AM)

1. merge from AFP-2016-1 (detail / hgweb)
2. added timeout for Propositional_Proof_Systems (detail / hgweb)
3. website update (detail / hgweb)
4. new entry: Propositional_Proof_Systems (detail / hgweb)
5. missing chapter AFP (detail / hgweb)
6. new entry: PSemigroupsConvolution (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 5 min 13 sec build duration;
• 5 min 21 sec total from scheduled to completion.