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 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 03 Apr 2024 11:02:09 +0200 update for release;
changeset
wenzelm [Wed, 03 Apr 2024 11:02:09 +0200] rev 80077
update for release;
Tue, 02 Apr 2024 19:18:55 +0200 merged
changeset
wenzelm [Tue, 02 Apr 2024 19:18:55 +0200] rev 80076
merged
Tue, 02 Apr 2024 19:10:22 +0200 update to stack-2.15.5, stackage-lts-22.15;
changeset
wenzelm [Tue, 02 Apr 2024 19:10:22 +0200] rev 80075
update to stack-2.15.5, stackage-lts-22.15;
Tue, 02 Apr 2024 18:29:14 +0200 clarified names: discontinue odd convention from 3 decades ago;
changeset
wenzelm [Tue, 02 Apr 2024 18:29:14 +0200] rev 80074
clarified names: discontinue odd convention from 3 decades ago;
Tue, 02 Apr 2024 17:20:09 +0200 further performance tuning (after f906f7f83dae): interactive mode is closer to earlier approach with Lazy.value, which could be relevant with rather complex grammars under tight memory situations;
changeset
wenzelm [Tue, 02 Apr 2024 17:20:09 +0200] rev 80073
further performance tuning (after f906f7f83dae): interactive mode is closer to earlier approach with Lazy.value, which could be relevant with rather complex grammars under tight memory situations;
Tue, 02 Apr 2024 18:02:43 +0200 added documentation for meromorphicity etc. in HOL-Complex_Analysis
changeset
Manuel Eberl <manuel@pruvisto.org> [Tue, 02 Apr 2024 18:02:43 +0200] rev 80072
added documentation for meromorphicity etc. in HOL-Complex_Analysis
Tue, 02 Apr 2024 16:33:53 +0200 merged
changeset
desharna [Tue, 02 Apr 2024 16:33:53 +0200] rev 80071
merged
Tue, 02 Apr 2024 08:35:43 +0200 merged
changeset
desharna [Tue, 02 Apr 2024 08:35:43 +0200] rev 80070
merged
Thu, 28 Mar 2024 09:41:51 +0100 added special syntax for FSet.Ball and FSet.Bex
changeset
desharna [Thu, 28 Mar 2024 09:41:51 +0100] rev 80069
added special syntax for FSet.Ball and FSet.Bex
Thu, 28 Mar 2024 09:40:58 +0100 tuned proof
changeset
desharna [Thu, 28 Mar 2024 09:40:58 +0100] rev 80068
tuned proof
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip
isabelle