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 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 24 Jan 2025 11:17:32 +0100 update for release;
changeset
wenzelm [Fri, 24 Jan 2025 11:17:32 +0100] rev 81967
update for release;
Fri, 24 Jan 2025 10:56:59 +0100 misc tuning for release;
changeset
wenzelm [Fri, 24 Jan 2025 10:56:59 +0100] rev 81966
misc tuning for release;
Fri, 24 Jan 2025 10:48:28 +0100 more NEWS;
changeset
wenzelm [Fri, 24 Jan 2025 10:48:28 +0100] rev 81965
more NEWS;
Fri, 24 Jan 2025 10:34:21 +0100 more authors;
changeset
wenzelm [Fri, 24 Jan 2025 10:34:21 +0100] rev 81964
more authors;
Fri, 24 Jan 2025 10:22:17 +0100 merged
changeset
wenzelm [Fri, 24 Jan 2025 10:22:17 +0100] rev 81963
merged
Thu, 23 Jan 2025 22:29:38 +0100 tuned names: follow HOL Light;
changeset
wenzelm [Thu, 23 Jan 2025 22:29:38 +0100] rev 81962
tuned names: follow HOL Light; tuned signature: no proactive export of internal operations;
Thu, 23 Jan 2025 22:20:40 +0100 more antiquotations;
changeset
wenzelm [Thu, 23 Jan 2025 22:20:40 +0100] rev 81961
more antiquotations;
Thu, 23 Jan 2025 22:19:30 +0100 support for @{instantiate (no_beta) ...};
changeset
wenzelm [Thu, 23 Jan 2025 22:19:30 +0100] rev 81960
support for @{instantiate (no_beta) ...};
Thu, 23 Jan 2025 20:46:26 +0100 minor performance tuning: more fine-grained guard to skip irrelevant items;
changeset
wenzelm [Thu, 23 Jan 2025 20:46:26 +0100] rev 81959
minor performance tuning: more fine-grained guard to skip irrelevant items;
Thu, 23 Jan 2025 20:06:14 +0100 proper treatment of variables with the same name, but different sorts/types: this routinely happens in HOL Light (see also 0e2f019477e2), as well as theory "HOL-Algebra.Algebraic_Closure_Type" (line 77);
changeset
wenzelm [Thu, 23 Jan 2025 20:06:14 +0100] rev 81958
proper treatment of variables with the same name, but different sorts/types: this routinely happens in HOL Light (see also 0e2f019477e2), as well as theory "HOL-Algebra.Algebraic_Closure_Type" (line 77);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 tip
isabelle