#921 (Jun 2, 2017, 2:02:08 PM)

1. merged from afp-2016-1 (detail / hgweb)
2. add `six` to sitegen requirements (detail / hgweb)
3. quiet installation with pip (detail / hgweb)
4. Optics: factor out example so proof document remains undisturbed (detail / hgweb)
5. add Optics to ROOTS (detail / hgweb)
6. Optics: uncomment example use of alphabet command so that it is tested (detail / hgweb)
7. new entry Optics (detail / hgweb)
8. New entry Security_Protocol_Refinement (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 9 min 10 sec build duration;
• 9 min 15 sec total from scheduled to completion.