| 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 |