#713 (Feb 7, 2017, 6:08:09 AM)

1. merge from afp-2016-1 (detail / hgweb)
2. add René as editor (detail / hgweb)
3. restored missing file (detail / hgweb)
4. page for Key_Agreement_Strong_Adversaries (detail / hgweb)
5. Key_Agreement_Strong_Adversaries (detail / hgweb)
6. New entry Bernoulli (detail / hgweb)

Started by an SCM change

This run spent:

• 6.1 sec waiting;
• 9 min 30 sec build duration;
• 9 min 36 sec total from scheduled to completion.