#696 (Jan 23, 2017, 5:42:07 PM)

1. merged from afp-2016-1 (detail / hgweb)
2. new entry: Minimal_SSA (detail / hgweb)
3. Bertrands_Postulate website (detail / hgweb)
4. Bertrand’s Postulate (detail / hgweb)
5. add new session to ROOTS (detail / hgweb)
6. new entry by Manuel Eberl (detail / hgweb)
7. New entry: UPF_Firewall (detail / hgweb)
8. Password_Authentication_Protocol (detail / hgweb)
9. new entry Password_Authentication_Protocol (detail / hgweb)
10. New article: FOL_Harrison (detail / hgweb)
11. New entry: Concurrent_Ref_Alg (detail / hgweb)
12. Twelvefold_Way website (detail / hgweb)
13. Twelvefold_Way (detail / hgweb)
14. New entry: Proof_Strategy_Language (detail / hgweb)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 1 hr 41 min build duration;
• 1 hr 41 min total from scheduled to completion.