#1262 (Nov 1, 2017, 2:31:05 PM)

1. no heap sharing for empty session (e.g. HOL-ODE); (detail / hgweb)
2. tuned diagram; (detail / hgweb)
3. clarified ROOT syntax: 'sessions' and 'theories' are optional, but need to be non-empty; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 22 min total from scheduled to completion.