#946 (May 28, 2019, 12:50:10 AM)

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:

• 8 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.