Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sun, 05 Jan 2025 15:18:30 +0100 tuned (NB: string_ord is required here for its precedence on length);
changeset
wenzelm [Sun, 05 Jan 2025 15:18:30 +0100] rev 81728
tuned (NB: string_ord is required here for its precedence on length);
Sun, 05 Jan 2025 15:04:42 +0100 more robust: ensure that Nginx is not superseded by implicit Apache dependencies (Ubuntu 24.04);
changeset
wenzelm [Sun, 05 Jan 2025 15:04:42 +0100] rev 81727
more robust: ensure that Nginx is not superseded by implicit Apache dependencies (Ubuntu 24.04);
Sun, 05 Jan 2025 13:24:17 +0100 tuned NEWS;
changeset
wenzelm [Sun, 05 Jan 2025 13:24:17 +0100] rev 81726
tuned NEWS;
Sun, 05 Jan 2025 13:21:10 +0100 drop obsolete URLs;
changeset
wenzelm [Sun, 05 Jan 2025 13:21:10 +0100] rev 81725
drop obsolete URLs;
Sat, 04 Jan 2025 23:20:05 +0100 updated Ubuntu versions;
changeset
wenzelm [Sat, 04 Jan 2025 23:20:05 +0100] rev 81724
updated Ubuntu versions;
Sat, 04 Jan 2025 23:14:10 +0100 more robust defaults, notably for Ubuntu 24.04;
changeset
wenzelm [Sat, 04 Jan 2025 23:14:10 +0100] rev 81723
more robust defaults, notably for Ubuntu 24.04;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip
isabelle