#1249 (Aug 8, 2020, 1:30:41 AM)

1. NEWS; (detail / hgweb)
2. provide POLYSTATSDIR to keep $HOME/.polyml clean (requires Poly/ML 52881757b127, otherwise ignored); (detail / hgweb)
3. adapted to 7b318273a4aa; (detail / hgweb)
4. cache props; (detail / hgweb)
5. clarified names;
   removed remains of old protocol messages; (detail / hgweb)
6. more thorough protocol_handlers.exit, like file_formats.stop_session; (detail / hgweb)
7. tuned names; (detail / hgweb)
8. temporary workaround for 100% CPU usage in OS.Process.sleep; (detail / hgweb)
9. ML statistics via external process: allows monitoring RTS while ML program sleeps; (detail / hgweb)
10. clarified catch-all handler --- avoid confusion of Interrupt vs. Exn.Interrupt in varying ML contexts; (detail / hgweb)
11. avoid failure of "isabelle build -o skip_proofs"; (detail / hgweb)

Started by an SCM change

This run spent:

• 40 min waiting;
• 1 hr 27 min build duration;
• 2 hr 8 min total from scheduled to completion.