Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 08 Feb 2025 17:44:04 +0100 merged
changeset
Fabian Huch <huch@in.tum.de> [Sat, 08 Feb 2025 17:44:04 +0100] rev 82115
merged
Sat, 08 Feb 2025 17:24:19 +0100 add find_facts_web component;
changeset
Fabian Huch <huch@in.tum.de> [Sat, 08 Feb 2025 17:24:19 +0100] rev 82114
add find_facts_web component;
Fri, 07 Feb 2025 22:23:24 +0100 web component for Find_Facts: bundled assets and compiled elm app;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 07 Feb 2025 22:23:24 +0100] rev 82113
web component for Find_Facts: bundled assets and compiled elm app;
Fri, 07 Feb 2025 22:19:21 +0100 clarified;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 07 Feb 2025 22:19:21 +0100] rev 82112
clarified;
Fri, 07 Feb 2025 22:18:44 +0100 clarified output file;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 07 Feb 2025 22:18:44 +0100] rev 82111
clarified output file;
Fri, 07 Feb 2025 20:31:52 +0100 clarified;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 07 Feb 2025 20:31:52 +0100] rev 82110
clarified;
Fri, 07 Feb 2025 20:30:13 +0100 tuned;
changeset
Fabian Huch <huch@in.tum.de> [Fri, 07 Feb 2025 20:30:13 +0100] rev 82109
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 tip
isabelle