#1162 (Apr 5, 2020, 12:50:08 AM)

1. proper use of flag; (detail / hgweb)
2. clarified signature; (detail / hgweb)
3. tuned names; (detail / hgweb)
4. finally expose interrupt, similar to ML; (detail / hgweb)
5. Standard_Thread for isabelle command-line tools; (detail / hgweb)
6. tuned -- Command_Line.tool is already part of Isabelle_Tool; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. thread pool with Standard_Thread workers;
   tuned signature; (detail / hgweb)
10. clarified signature; (detail / hgweb)
11. support for uninterruptible execution; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.7 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.