| Wed, 11 Sep 2024 15:36:14 +0200 |
wenzelm |
minor performance tuning, notably for Bytes.add (e.g. YXML output);
|
file |
diff |
annotate
|
| Sun, 08 Oct 2023 19:05:35 +0200 |
wenzelm |
discontinue obsolete "Interrupt" constructor (NB: catch-all pattern produces ML compiler error);
|
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, 22 Jun 2022 16:24:57 +0200 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Fri, 05 Mar 2021 16:44:04 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Fri, 07 Aug 2020 20:28:53 +0200 |
wenzelm |
temporary workaround for 100% CPU usage in OS.Process.sleep;
|
file |
diff |
annotate
|
| Thu, 06 Sep 2018 14:08:35 +0200 |
wenzelm |
simplified signature (again, see 751bcf0473a7): e.g. relevant for non-Isabelle ML environments;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2017 21:40:43 +0100 |
wenzelm |
minor performance tuning, notably for Library.fold_string etc.;
|
file |
diff |
annotate
|
| Thu, 14 Dec 2017 21:31:54 +0100 |
wenzelm |
clarified file name;
|
file |
diff |
annotate
| base
|