#1187 (May 27, 2019, 5:17:09 PM)

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

1. merged (detail / hgweb)
2. more direct invocation of Windows exe: avoid extra bash, cygpath, exec; (detail / hgweb)
3. tuned whitespace; (detail / hgweb)
4. updated to bash_process-1.2.3: rebuild on current reference PLATFORMS; (detail / hgweb)
5. Added tag Isabelle2019-RC3 for changeset 85de4fdec61b (detail / hgweb)
6. more robust InstallPath (amending 4ce07be8ba17): self-directory may be odd temp dir produced by browser "Run" operation; (detail / hgweb)
7. avoid extra subprocess -- potentially more robust on Cygwin; (detail / hgweb)
8. updated to cygwin-20190524; (detail / hgweb)
9. proper version; (detail / hgweb)
10. tuned spelling; (detail / hgweb)
11. more thorough assignment, e.g. when "purge" removes commands that were not assigned; (detail / hgweb)
12. tuned whitespace; (detail / hgweb)
13. tuned signature (following Scala version); (detail / hgweb)
14. tuned; (detail / hgweb)
15. obsolete (incompatible with Isabelle2019); (detail / hgweb)
16. amended to unoverload actually all parameters of a type variable (detail / hgweb)
17. proper message; (detail / hgweb)

Started by an SCM change

This run spent:

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