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 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 05 Dec 2022 22:42:56 +0100 tuned GUI behaviour;
changeset
wenzelm [Mon, 05 Dec 2022 22:42:56 +0100] rev 76568
tuned GUI behaviour;
Mon, 05 Dec 2022 22:31:46 +0100 more GUI elements;
changeset
wenzelm [Mon, 05 Dec 2022 22:31:46 +0100] rev 76567
more GUI elements;
Mon, 05 Dec 2022 21:10:39 +0100 clarified modules;
changeset
wenzelm [Mon, 05 Dec 2022 21:10:39 +0100] rev 76566
clarified modules;
Mon, 05 Dec 2022 16:27:27 +0100 clarified process: implicit load() when finished;
changeset
wenzelm [Mon, 05 Dec 2022 16:27:27 +0100] rev 76565
clarified process: implicit load() when finished;
Mon, 05 Dec 2022 16:24:29 +0100 more robust, notably initial update();
changeset
wenzelm [Mon, 05 Dec 2022 16:24:29 +0100] rev 76564
more robust, notably initial update();
Mon, 05 Dec 2022 15:41:40 +0100 tuned;
changeset
wenzelm [Mon, 05 Dec 2022 15:41:40 +0100] rev 76563
tuned;
Mon, 05 Dec 2022 15:36:03 +0100 tuned messages: implement "verbose = false", but there is no theory output anyway;
changeset
wenzelm [Mon, 05 Dec 2022 15:36:03 +0100] rev 76562
tuned messages: implement "verbose = false", but there is no theory output anyway;
Mon, 05 Dec 2022 16:43:57 +0100 merged
changeset
desharna [Mon, 05 Dec 2022 16:43:57 +0100] rev 76561
merged
Wed, 23 Nov 2022 09:54:53 +0100 added lemmas irrefl_on_subset and irreflp_on_subset
changeset
desharna [Wed, 23 Nov 2022 09:54:53 +0100] rev 76560
added lemmas irrefl_on_subset and irreflp_on_subset
Mon, 21 Nov 2022 14:11:30 +0100 introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations
changeset
desharna [Mon, 21 Nov 2022 14:11:30 +0100] rev 76559
introduced predicates irrefl_on and irreflp_on, and redefined irrefl and irreflp as abbreviations
Mon, 05 Dec 2022 15:19:52 +0100 tuned messages;
changeset
wenzelm [Mon, 05 Dec 2022 15:19:52 +0100] rev 76558
tuned messages;
Mon, 05 Dec 2022 14:47:08 +0100 tuned message;
changeset
wenzelm [Mon, 05 Dec 2022 14:47:08 +0100] rev 76557
tuned message;
Mon, 05 Dec 2022 12:17:56 +0100 tuned messages and options;
changeset
wenzelm [Mon, 05 Dec 2022 12:17:56 +0100] rev 76556
tuned messages and options;
Sun, 04 Dec 2022 18:49:58 +0100 merged
changeset
desharna [Sun, 04 Dec 2022 18:49:58 +0100] rev 76555
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 tip
isabelle