Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ML/ml_init.ML
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
less more (0) tip
isabelle