#176 (Oct 21, 2016, 12:50:10 AM)

1. merged (detail / hgweb)
2. test for Windows/Cygwin; (detail / hgweb)
3. extra trim_line for the sake of Windows; (detail / hgweb)
4. prevent sporadic disconnection; (detail / hgweb)
5. check Windows file names, e.g. relavant for native Mercurial, but also for Isabelle/Scala; (detail / hgweb)
6. tuned (detail / hgweb)
7. NEWS (detail / hgweb)
8. HOL-Probability: generalize theorems about cumulative distribution function (detail / hgweb)
9. HOL-Probability: move stopping time from AFP/Markov_Models (detail / hgweb)
10. HOL-Probability: generalize type of essential supremum (detail / hgweb)
11. Repaired LaTeX in HOL-Data_Structures (detail / hgweb)
12. More on Fibonacci numbers (detail / hgweb)
13. build HTML library in Isabelle/Scala; (detail / hgweb)
14. proper echo;
    tuned; (detail / hgweb)
15. more robust bootstrap, e.g. when experimenting with Poly/ML repository changes; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 4 min build duration;
• 1 hr 4 min total from scheduled to completion.