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 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 23 Oct 2024 15:09:02 +0200 tuned signature;
changeset
wenzelm [Wed, 23 Oct 2024 15:09:02 +0200] rev 81245
tuned signature;
Wed, 23 Oct 2024 14:59:06 +0200 tuned names;
changeset
wenzelm [Wed, 23 Oct 2024 14:59:06 +0200] rev 81244
tuned names; tuned whitespace;
Wed, 23 Oct 2024 14:05:31 +0200 tuned;
changeset
wenzelm [Wed, 23 Oct 2024 14:05:31 +0200] rev 81243
tuned;
Wed, 23 Oct 2024 13:58:29 +0200 misc tuning and clarification;
changeset
wenzelm [Wed, 23 Oct 2024 13:58:29 +0200] rev 81242
misc tuning and clarification;
Wed, 23 Oct 2024 13:30:11 +0200 tuned;
changeset
wenzelm [Wed, 23 Oct 2024 13:30:11 +0200] rev 81241
tuned;
Wed, 23 Oct 2024 13:03:49 +0200 misc tuning and clarification;
changeset
wenzelm [Wed, 23 Oct 2024 13:03:49 +0200] rev 81240
misc tuning and clarification;
Tue, 22 Oct 2024 23:56:48 +0200 merged
changeset
wenzelm [Tue, 22 Oct 2024 23:56:48 +0200] rev 81239
merged
Tue, 22 Oct 2024 22:52:27 +0200 adhoc option to disable const constraints, notably for AFP/Isabelle_DOF;
changeset
wenzelm [Tue, 22 Oct 2024 22:52:27 +0200] rev 81238
adhoc option to disable const constraints, notably for AFP/Isabelle_DOF;
Tue, 22 Oct 2024 22:34:33 +0200 unused;
changeset
wenzelm [Tue, 22 Oct 2024 22:34:33 +0200] rev 81237
unused;
Tue, 22 Oct 2024 21:29:44 +0200 tuned signature;
changeset
wenzelm [Tue, 22 Oct 2024 21:29:44 +0200] rev 81236
tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip
isabelle