#627 (Dec 9, 2018, 12:23:03 AM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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)

Started by an SCM change

This run spent:

• 2 min 0 sec waiting;
• 1 hr 33 min build duration;
• 1 hr 35 min total from scheduled to completion.