#1669 (Apr 26, 2021, 1:33:12 AM)

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

1. merged (detail)
2. avoid "exec" to change the winpid; (detail)
3. clarified check of root process on Windows (NB: the winpid is less stable than the Cygwin/Posix pid, so it needs to be "patched" into the the bash script, instead of bash_process.c); (detail)
4. fast approximation of test for process group (NB: initial process might already be terminated, while background processes are still running); (detail)
5. clarified signature; (detail)
6. rebuild executable for x86_64-darwin; (detail)
7. clarified command-line; (detail)
8. update Linux base-line; (detail)
9. tuned comments; (detail)
10. tuned signature; (detail)
11. simplified typesetting of \<guillemotleft>...\<guillemotright>; (detail)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 8 hr 47 min build duration;
• 8 hr 47 min total from scheduled to completion.