#1061 (Nov 15, 2019, 12:50:06 AM)

1. more packages; (detail / hgweb)
2. NEWS; (detail / hgweb)
3. more examples; (detail / hgweb)
4. more documentation; (detail / hgweb)
5. misc tuning and clarification; (detail / hgweb)
6. merged (detail / hgweb)
7. tuned PHP setup; (detail / hgweb)
8. clarified errors: PHP daemon can fail under odd circumstances; (detail / hgweb)
9. more robust; (detail / hgweb)
10. tuned message; (detail / hgweb)
11. more sanity checks; (detail / hgweb)
12. just one isabelle-phabricator-phd service, which manages all processes uniformly (NB: "bin/phd stop" affects all installations); (detail / hgweb)
13. clarified signature: allow compound arg; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. merged (detail / hgweb)
16. tuned tags (detail / hgweb)
17. more portable; (detail / hgweb)
18. updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64; (detail / hgweb)
19. updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation; (detail / hgweb)
20. tuned; (detail / hgweb)
21. tuned; (detail / hgweb)
22. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 sec waiting;
• 1 hr 10 min build duration;
• 1 hr 11 min total from scheduled to completion.