#1504 (Apr 13, 2018, 10:07:25 PM)

1. unfolding set_lebesgue_integral_def (detail / hgweb)
2. unfolding set_integrable_def, etc (detail / hgweb)
3. unfolding set_lebesgue_integral_def, etc. (detail / hgweb)
4. unfolding set_lebesgue_integral_def, etc. (detail / hgweb)
5. fixed for new dominated_convergence (detail / hgweb)
6. merged (detail / hgweb)
7. merged (detail / hgweb)
8. merged (detail / hgweb)
9. specialize some local functions (detail / hgweb)
10. fix bad simplifier context warnings (detail / hgweb)
11. remove trailing whitespace (detail / hgweb)
12. merge (detail / hgweb)
13. slight change (detail / hgweb)
14. improved efficiency of implementation of LLL by using dedicated ^2 operation on rational numbers (detail / hgweb)
15. Markov_Models now working with set_lebesgue_integral_def, etc. (detail / hgweb)

Started by an SCM change

This run spent:

• 8.4 sec waiting;
• 1 hr 11 min build duration;
• 1 hr 11 min total from scheduled to completion.