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 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sun, 19 Jan 2025 18:18:07 +0000 simplified old proofs
changeset
paulson <lp15@cam.ac.uk> [Sun, 19 Jan 2025 18:18:07 +0000] rev 81874
simplified old proofs
Fri, 17 Jan 2025 23:00:13 +0000 merged
changeset
paulson [Fri, 17 Jan 2025 23:00:13 +0000] rev 81873
merged
Fri, 17 Jan 2025 20:24:09 +0000 merged
changeset
paulson [Fri, 17 Jan 2025 20:24:09 +0000] rev 81872
merged
Fri, 17 Jan 2025 20:24:02 +0000 A variety of tweaks
changeset
paulson <lp15@cam.ac.uk> [Fri, 17 Jan 2025 20:24:02 +0000] rev 81871
A variety of tweaks
Fri, 17 Jan 2025 23:15:47 +0100 avoid legacy warnings in "test_code check in OCaml";
changeset
wenzelm [Fri, 17 Jan 2025 23:15:47 +0100] rev 81870
avoid legacy warnings in "test_code check in OCaml";
Fri, 17 Jan 2025 23:10:39 +0100 proper condition for strict "test_code check in OCaml" and "test_code check in GHC";
changeset
wenzelm [Fri, 17 Jan 2025 23:10:39 +0100] rev 81869
proper condition for strict "test_code check in OCaml" and "test_code check in GHC";
Fri, 17 Jan 2025 22:38:15 +0100 more NEWS;
changeset
wenzelm [Fri, 17 Jan 2025 22:38:15 +0100] rev 81868
more NEWS;
Fri, 17 Jan 2025 21:30:08 +0100 merged
changeset
wenzelm [Fri, 17 Jan 2025 21:30:08 +0100] rev 81867
merged
Fri, 17 Jan 2025 20:30:01 +0100 misc tuning;
changeset
wenzelm [Fri, 17 Jan 2025 20:30:01 +0100] rev 81866
misc tuning;
Fri, 17 Jan 2025 19:56:34 +0100 tuned;
changeset
wenzelm [Fri, 17 Jan 2025 19:56:34 +0100] rev 81865
tuned;
Fri, 17 Jan 2025 19:46:36 +0100 tuned;
changeset
wenzelm [Fri, 17 Jan 2025 19:46:36 +0100] rev 81864
tuned;
Fri, 17 Jan 2025 19:40:56 +0100 clarified pattern matching;
changeset
wenzelm [Fri, 17 Jan 2025 19:40:56 +0100] rev 81863
clarified pattern matching;
Fri, 17 Jan 2025 19:30:26 +0100 misc tuning;
changeset
wenzelm [Fri, 17 Jan 2025 19:30:26 +0100] rev 81862
misc tuning;
Fri, 17 Jan 2025 17:01:43 +0100 misc tuning and clarification;
changeset
wenzelm [Fri, 17 Jan 2025 17:01:43 +0100] rev 81861
misc tuning and clarification;
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 tip
isabelle