#1019 (Aug 18, 2017, 11:29:23 PM)

1. merged (detail / hgweb)
2. prefer plain subscript syntax; (detail / hgweb)
3. session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks'  -d '$AFP' -a -x Sepref_Basic -x Sepref_IICF -x Iptables_Semantics_Examples_Big; (detail / hgweb)
4. clarified parent session, in order to disentangle imports; (detail / hgweb)
5. clarified imports; (detail / hgweb)
6. clarified imports; (detail / hgweb)
7. clarified imports; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.7 sec waiting;
• 1 hr 38 min build duration;
• 1 hr 38 min total from scheduled to completion.