| Wed, 06 Sep 2023 16:03:22 +0200 | wenzelm | add ML_system_pp for type Isabelle_Thread.T; | changeset | files |
| Wed, 06 Sep 2023 14:09:27 +0200 | wenzelm | more explicit type Isabelle_Thread.T; | changeset | files |
| Mon, 04 Sep 2023 21:03:13 +0200 | wenzelm | 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); | changeset | files |