#931 (Jun 8, 2017, 10:11:08 PM)

1. clarified imports; (detail / hgweb)
2. clarified theory_qualifier for shared directories; (detail / hgweb)
3. clarified example sessions: Iptables_Semantics_Examples runs on x86 in approx. 30min elapsed time (4 cores), but Iptables_Semantics_Examples_Big requires x86_64 and several hours; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.1 sec waiting;
• 10 min build duration;
• 10 min total from scheduled to completion.