#456 (Oct 10, 2016, 9:41:10 AM)

1. added various lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 7.2 sec waiting;
• 1 hr 25 min build duration;
• 1 hr 26 min total from scheduled to completion.