#2008 (Sep 7, 2023, 2:25:34 AM)

1. merged (detail / hgweb)
2. clarified signature: retain original Poly/ML names Thread.Thread, Thread.Mutex, Thread.ConditionVar and de-emphasize them for Isabelle/ML; (detail / hgweb)
3. add ML_system_pp for type Isabelle_Thread.T; (detail / hgweb)
4. more explicit type Isabelle_Thread.T;
   total operation Isabelle_Thread.self: upgrade raw ML threads implicitly; (detail / hgweb)
5. discontinue somewhat pointless thread tracing/debugging: without PIDE command context, messages are not shown, and Exn.trace hardly works anyway (see also de20fccf6509 and 447972249785);
   prefer Isabelle_Thread.fork; (detail / hgweb)
6. tuned whitespace; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 35 min waiting;
• 2 hr 2 min build duration;
• 3 hr 38 min total from scheduled to completion.