Thu, 21 Sep 2023 23:45:03 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Thu, 21 Sep 2023 17:09:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 21 Sep 2023 17:04:56 +0200 |
wenzelm |
more robust: prefer linear data flow;
|
file |
diff |
annotate
|
Wed, 06 Sep 2023 20:51:28 +0200 |
wenzelm |
clarified signature: retain original Poly/ML names Thread.Thread, Thread.Mutex, Thread.ConditionVar and de-emphasize them for Isabelle/ML;
|
file |
diff |
annotate
|
Wed, 06 Sep 2023 14:09:27 +0200 |
wenzelm |
more explicit type Isabelle_Thread.T;
|
file |
diff |
annotate
|
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);
|
file |
diff |
annotate
|
Sun, 24 May 2020 20:59:34 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 05 Apr 2020 13:24:12 +0200 |
wenzelm |
clarified signature: more uniform ML vs. Scala;
|
file |
diff |
annotate
|
Sun, 05 Apr 2020 13:19:29 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
Sun, 05 Apr 2020 13:05:40 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
| base
|