#1220 (Nov 24, 2017, 12:23:10 PM)

1. Tune document (detail / hgweb)
2. merged (detail / hgweb)
3. The L-transform of a formula preserves satisfaction (detail / hgweb)

Started by an SCM change

This run spent:

• 7.7 sec waiting;
• 6 min 46 sec build duration;
• 6 min 54 sec total from scheduled to completion.