#633 (May 18, 2018, 12:50:11 AM)

1. updated some Sledgehammer components, following Makarius advice (detail / hgweb)
2. export more theory and session structure; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. read theory content from session database; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. misc tuning and clarification; (detail / hgweb)
8. NEWS and CONTRIBUTORS for 8b50f29a1992 (detail / hgweb)

Started by an SCM change

This run spent:

• 9.6 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 14 min total from scheduled to completion.