Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 16 Apr 2024 16:37:08 +0200 tuned;
changeset
wenzelm [Tue, 16 Apr 2024 16:37:08 +0200] rev 80122
tuned;
Tue, 16 Apr 2024 16:53:10 +0200 clarified modules and options (from store);
changeset
wenzelm [Tue, 16 Apr 2024 16:53:10 +0200] rev 80121
clarified modules and options (from store);
Tue, 16 Apr 2024 16:27:40 +0200 clarified signature;
changeset
wenzelm [Tue, 16 Apr 2024 16:27:40 +0200] rev 80120
clarified signature;
Tue, 16 Apr 2024 15:14:55 +0200 tuned;
changeset
wenzelm [Tue, 16 Apr 2024 15:14:55 +0200] rev 80119
tuned;
Tue, 16 Apr 2024 15:11:13 +0200 clarified signature;
changeset
wenzelm [Tue, 16 Apr 2024 15:11:13 +0200] rev 80118
clarified signature;
Tue, 16 Apr 2024 14:48:08 +0200 tuned signature;
changeset
wenzelm [Tue, 16 Apr 2024 14:48:08 +0200] rev 80117
tuned signature;
Tue, 16 Apr 2024 12:18:32 +0200 tuned;
changeset
wenzelm [Tue, 16 Apr 2024 12:18:32 +0200] rev 80116
tuned;
Tue, 16 Apr 2024 12:08:40 +0200 tuned signature;
changeset
wenzelm [Tue, 16 Apr 2024 12:08:40 +0200] rev 80115
tuned signature;
Tue, 16 Apr 2024 11:39:02 +0200 tuned;
changeset
wenzelm [Tue, 16 Apr 2024 11:39:02 +0200] rev 80114
tuned;
Tue, 16 Apr 2024 11:20:30 +0200 tuned;
changeset
wenzelm [Tue, 16 Apr 2024 11:20:30 +0200] rev 80113
tuned;
Tue, 16 Apr 2024 11:00:46 +0200 more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);
changeset
wenzelm [Tue, 16 Apr 2024 11:00:46 +0200] rev 80112
more robust tmp_file (see also ab07d4cb7d1c and 146468e05dd4);
Fri, 12 Apr 2024 17:07:33 +0200 tuned messages;
changeset
wenzelm [Fri, 12 Apr 2024 17:07:33 +0200] rev 80111
tuned messages;
Thu, 11 Apr 2024 12:12:33 +0200 tuned;
changeset
wenzelm [Thu, 11 Apr 2024 12:12:33 +0200] rev 80110
tuned;
Thu, 11 Apr 2024 12:05:01 +0200 back to static numa_nodes (reverting part of c2c59de57df9);
changeset
wenzelm [Thu, 11 Apr 2024 12:05:01 +0200] rev 80109
back to static numa_nodes (reverting part of c2c59de57df9);
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 tip
isabelle