#435 (Sep 28, 2016, 6:05:08 PM)

1. renaming and new premise order for tendsto_le_const, tendsto_ge_const (detail / hgweb)

Started by an SCM change

This run spent:

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