#688 (Jul 14, 2018, 12:50:08 AM)

1. merged (detail / hgweb)
2. merged (detail / hgweb)
3. de-applying (detail / hgweb)
4. HOL-Analysis: Volume of a simplex, Heron's theorem (detail / hgweb)
5. Tagged Ball_Volume and Gamma_Function in HOL-Analysis (detail / hgweb)
6. correct import (detail / hgweb)
7. merged (detail / hgweb)
8. unit_cube = cbox 0 One (detail / hgweb)
9. relaxed assumptions for dim_image_eq and dim_image_le (detail / hgweb)
10. merged (detail / hgweb)
11. de-applying (mostly Set_Interval) (detail / hgweb)

Started by an SCM change

This run spent:

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