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.
Sat, 20 Jan 2024 16:23:51 +0100 clarified bootstrap;
changeset
wenzelm [Sat, 20 Jan 2024 16:23:51 +0100] rev 79504
clarified bootstrap;
Sat, 20 Jan 2024 16:09:35 +0100 clarified directories;
changeset
wenzelm [Sat, 20 Jan 2024 16:09:35 +0100] rev 79503
clarified directories;
Sat, 20 Jan 2024 15:07:41 +0100 clarified directories;
changeset
wenzelm [Sat, 20 Jan 2024 15:07:41 +0100] rev 79502
clarified directories;
Sat, 20 Jan 2024 13:52:36 +0100 obsolete (see also fc88b943e1b2);
changeset
wenzelm [Sat, 20 Jan 2024 13:52:36 +0100] rev 79501
obsolete (see also fc88b943e1b2);
Sat, 20 Jan 2024 13:42:16 +0100 proper output, following 2cd23d587db9;
changeset
wenzelm [Sat, 20 Jan 2024 13:42:16 +0100] rev 79500
proper output, following 2cd23d587db9;
Sat, 20 Jan 2024 13:31:07 +0100 always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c);
changeset
wenzelm [Sat, 20 Jan 2024 13:31:07 +0100] rev 79499
always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c);
Sat, 20 Jan 2024 13:24:26 +0100 clarified directories;
changeset
wenzelm [Sat, 20 Jan 2024 13:24:26 +0100] rev 79498
clarified directories;
Sat, 20 Jan 2024 13:10:51 +0100 more accurate Isabelle versions;
changeset
wenzelm [Sat, 20 Jan 2024 13:10:51 +0100] rev 79497
more accurate Isabelle versions;
Sat, 20 Jan 2024 13:01:30 +0100 more accurate Ubuntu versions;
changeset
wenzelm [Sat, 20 Jan 2024 13:01:30 +0100] rev 79496
more accurate Ubuntu versions;
Fri, 19 Jan 2024 17:14:37 +0100 more uses of define_time_fun
changeset
nipkow [Fri, 19 Jan 2024 17:14:37 +0100] rev 79495
more uses of define_time_fun
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip
isabelle