Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 03 Nov 2023 10:55:15 +0100 merged
changeset
wenzelm [Fri, 03 Nov 2023 10:55:15 +0100] rev 78889
merged
Fri, 03 Nov 2023 10:30:51 +0100 prefer Time.scale(), following Isabelle/ML;
changeset
wenzelm [Fri, 03 Nov 2023 10:30:51 +0100] rev 78888
prefer Time.scale(), following Isabelle/ML;
Fri, 03 Nov 2023 10:21:21 +0100 proper benchmark command;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 03 Nov 2023 10:21:21 +0100] rev 78887
proper benchmark command;
Fri, 03 Nov 2023 10:13:41 +0100 merged
changeset
wenzelm [Fri, 03 Nov 2023 10:13:41 +0100] rev 78886
merged
Fri, 03 Nov 2023 10:12:34 +0100 proper progress (see also 45d570945fe4);
changeset
wenzelm [Fri, 03 Nov 2023 10:12:34 +0100] rev 78885
proper progress (see also 45d570945fe4);
Fri, 03 Nov 2023 10:03:05 +0100 improved build messages;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 03 Nov 2023 10:03:05 +0100] rev 78884
improved build messages;
Thu, 02 Nov 2023 21:35:04 +0100 clarified;
changeset
Lukas Stevens <mail@lukas-stevens.de> [Thu, 02 Nov 2023 21:35:04 +0100] rev 78883
clarified;
Thu, 02 Nov 2023 14:10:16 +0000 merged
changeset
paulson [Thu, 02 Nov 2023 14:10:16 +0000] rev 78882
merged
Thu, 02 Nov 2023 14:10:08 +0000 fixed the simplification of Suc n - 1
changeset
paulson <lp15@cam.ac.uk> [Thu, 02 Nov 2023 14:10:08 +0000] rev 78881
fixed the simplification of Suc n - 1
Thu, 02 Nov 2023 14:31:01 +0100 tuned whitespace;
changeset
wenzelm [Thu, 02 Nov 2023 14:31:01 +0100] rev 78880
tuned whitespace;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip
isabelle