#811 (Dec 9, 2018, 1:56:27 AM)

1. merged (detail / hgweb)
2. discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install; (detail / hgweb)
3. clarified defaults for Windows/Cygwin hybrid; (detail / hgweb)
4. proper path before tar -C context switch; (detail / hgweb)
5. replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality;
   more robust Component.Archive name: avoid rm_tree accidents; (detail / hgweb)
6. clarified sort order (again, see also 81a75d9a9a4e); (detail / hgweb)
7. clarified operations: uniform sorting of results; (detail / hgweb)
8. clarified modules; (detail / hgweb)
9. clarified gnutar options: more uniform owner; (detail / hgweb)
10. clarified application bundling: discontinued redundant archives; (detail / hgweb)
11. Tagged some theories in HOL-Analysis: Cauchy_Integral_Theorem, Riemann_Mapping and Winding_Numbers. (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 6 min waiting;
• 1 hr 17 min build duration;
• 2 hr 23 min total from scheduled to completion.