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 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 01 Feb 2025 22:41:43 +0100 tuned;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 22:41:43 +0100] rev 82044
tuned;
Sat, 01 Feb 2025 22:39:44 +0100 use ssh host for default address;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 22:39:44 +0100] rev 82043
use ssh host for default address;
Sat, 01 Feb 2025 22:31:19 +0100 tuned;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 22:31:19 +0100] rev 82042
tuned;
Sat, 01 Feb 2025 22:30:09 +0100 clarified option name;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 22:30:09 +0100] rev 82041
clarified option name;
Sat, 01 Feb 2025 22:28:32 +0100 clarified options: extra ssh connection to cluster of build_manager;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 22:28:32 +0100] rev 82040
clarified options: extra ssh connection to cluster of build_manager;
Sat, 01 Feb 2025 22:20:42 +0100 tuned output;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 22:20:42 +0100] rev 82039
tuned output;
Sat, 01 Feb 2025 20:46:01 +0100 tuned: more standard;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 20:46:01 +0100] rev 82038
tuned: more standard;
Sat, 01 Feb 2025 22:49:33 +0100 merged;
changeset
wenzelm [Sat, 01 Feb 2025 22:49:33 +0100] rev 82037
merged;
Sat, 01 Feb 2025 22:41:05 +0100 more NEWS;
changeset
wenzelm [Sat, 01 Feb 2025 22:41:05 +0100] rev 82036
more NEWS;
Sat, 01 Feb 2025 22:13:49 +0100 updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux;
changeset
wenzelm [Sat, 01 Feb 2025 22:13:49 +0100] rev 82035
updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux;
Sat, 01 Feb 2025 20:05:06 +0100 update naproche-20250201: rebuilt executables (just one copy), provide most PDFs;
changeset
wenzelm [Sat, 01 Feb 2025 20:05:06 +0100] rev 82034
update naproche-20250201: rebuilt executables (just one copy), provide most PDFs;
Sat, 01 Feb 2025 19:29:54 +0100 tuned whitespace;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 19:29:54 +0100] rev 82033
tuned whitespace;
Sat, 01 Feb 2025 19:23:08 +0100 documentation about Find_Facts;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 19:23:08 +0100] rev 82032
documentation about Find_Facts;
Sat, 01 Feb 2025 18:29:07 +0100 more standard: let OS pick random port by default;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 01 Feb 2025 18:29:07 +0100] rev 82031
more standard: let OS pick random port by default;
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 tip
isabelle