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 |