#936 (Jun 10, 2017, 9:17:14 AM)

1. merged (detail / hgweb)
2. Hidden another instance of 'uncurry' clash (detail / hgweb)
3. Additional patches to accomodate for upstrea, changes (detail / hgweb)
4. merged (detail / hgweb)
5. Moved more Refinement Framework stuff upstream, improved refine_{rcg,vcg} (detail / hgweb)
6. Moved more stuff from Sepref_Misc, aligned set_rel of Refinement Framework with rel_set of transfer/lifting (detail / hgweb)
7. Moving stuff from Sepref_Misc (detail / hgweb)
8. cleaned up map_eq_appendE (detail / hgweb)
9. merged (detail / hgweb)
10. more refactoring, eliminated Sep_Misc (detail / hgweb)

Started by an SCM change

This run spent:

• 9.7 sec waiting;
• 32 min build duration;
• 32 min total from scheduled to completion.