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 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;
Fri, 27 Jan 2023 16:48:19 +0100 prefer typed/strict operations;
changeset
wenzelm [Fri, 27 Jan 2023 16:48:19 +0100] rev 77112
prefer typed/strict operations;
Fri, 27 Jan 2023 16:18:36 +0100 tuned message;
changeset
wenzelm [Fri, 27 Jan 2023 16:18:36 +0100] rev 77111
tuned message;
Fri, 27 Jan 2023 15:43:45 +0100 prefer strict operation: java.io.File.length returns 0 for non-existent file;
changeset
wenzelm [Fri, 27 Jan 2023 15:43:45 +0100] rev 77110
prefer strict operation: java.io.File.length returns 0 for non-existent file;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
isabelle