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 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 28 Jan 2023 16:20:44 +0100 tuned;
changeset
wenzelm [Sat, 28 Jan 2023 16:20:44 +0100] rev 77122
tuned;
Sat, 28 Jan 2023 16:08:43 +0100 clarified signature: more explicit types;
changeset
wenzelm [Sat, 28 Jan 2023 16:08:43 +0100] rev 77121
clarified signature: more explicit types; scale chart output, instead of stored data;
Sat, 28 Jan 2023 16:06:38 +0100 more operations;
changeset
wenzelm [Sat, 28 Jan 2023 16:06:38 +0100] rev 77120
more operations;
Sat, 28 Jan 2023 15:38:36 +0100 tuned;
changeset
wenzelm [Sat, 28 Jan 2023 15:38:36 +0100] rev 77119
tuned;
Sat, 28 Jan 2023 15:35:43 +0100 clarified signature: more robust field_scale;
changeset
wenzelm [Sat, 28 Jan 2023 15:35:43 +0100] rev 77118
clarified signature: more robust field_scale;
Sat, 28 Jan 2023 15:04:15 +0100 clarified signature: more explicit types;
changeset
wenzelm [Sat, 28 Jan 2023 15:04:15 +0100] rev 77117
clarified signature: more explicit types;
Sat, 28 Jan 2023 13:44:00 +0100 clarified signature;
changeset
wenzelm [Sat, 28 Jan 2023 13:44:00 +0100] rev 77116
clarified signature;
Fri, 27 Jan 2023 18:59:48 +0100 tuned;
changeset
wenzelm [Fri, 27 Jan 2023 18:59:48 +0100] rev 77115
tuned;
Fri, 27 Jan 2023 17:33:49 +0100 support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
changeset
wenzelm [Fri, 27 Jan 2023 17:33:49 +0100] rev 77114
support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
Fri, 27 Jan 2023 16:49:03 +0100 more explicit types;
changeset
wenzelm [Fri, 27 Jan 2023 16:49:03 +0100] rev 77113
more explicit types;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
isabelle