#867 (Apr 27, 2017, 12:49:02 PM)

1. Merge (detail / hgweb)
2. Some fixes related to compactE_image (detail / hgweb)
3. Merge (detail / hgweb)
4. Further new material. The simprule status of some exp and ln identities was reverted. (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 32 min total from scheduled to completion.