wenzelm [Tue, 06 Dec 2022 16:52:35 +0100] rev 76583
tuned;
wenzelm [Tue, 06 Dec 2022 16:44:47 +0100] rev 76582
tuned signature;
wenzelm [Tue, 06 Dec 2022 16:42:08 +0100] rev 76581
more uniform tooltip for plugin options dialog;
wenzelm [Tue, 06 Dec 2022 16:38:50 +0100] rev 76580
tuned signature;
wenzelm [Tue, 06 Dec 2022 16:26:59 +0100] rev 76579
tuned signature;
wenzelm [Tue, 06 Dec 2022 16:23:49 +0100] rev 76578
more uniform session selectors, with persistent options;
wenzelm [Tue, 06 Dec 2022 14:41:13 +0100] rev 76577
tuned;
desharna [Tue, 06 Dec 2022 08:50:57 +0100] rev 76576
NEWS
desharna [Tue, 06 Dec 2022 08:43:43 +0100] rev 76575
merged
desharna [Thu, 24 Nov 2022 10:02:26 +0100] rev 76574
added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
desharna [Wed, 23 Nov 2022 10:27:24 +0100] rev 76573
added lemma totalp_on_converse[simp]
desharna [Wed, 23 Nov 2022 10:23:18 +0100] rev 76572
added lemmas irrefl_on_converse[simp] and irreflp_on_converse[simp]
desharna [Wed, 23 Nov 2022 10:02:04 +0100] rev 76571
added type annotations and tuned formatting
desharna [Wed, 23 Nov 2022 09:57:59 +0100] rev 76570
strengthened and renamed irreflp_greater[simp] and irreflp_less[simp]
wenzelm [Mon, 05 Dec 2022 22:46:38 +0100] rev 76569
merged
wenzelm [Mon, 05 Dec 2022 22:42:56 +0100] rev 76568
tuned GUI behaviour;
wenzelm [Mon, 05 Dec 2022 22:31:46 +0100] rev 76567
more GUI elements;
wenzelm [Mon, 05 Dec 2022 21:10:39 +0100] rev 76566
clarified modules;
wenzelm [Mon, 05 Dec 2022 16:27:27 +0100] rev 76565
clarified process: implicit load() when finished;
wenzelm [Mon, 05 Dec 2022 16:24:29 +0100] rev 76564
more robust, notably initial update();
wenzelm [Mon, 05 Dec 2022 15:41:40 +0100] rev 76563
tuned;
wenzelm [Mon, 05 Dec 2022 15:36:03 +0100] rev 76562
tuned messages: implement "verbose = false", but there is no theory output anyway;
desharna [Mon, 05 Dec 2022 16:43:57 +0100] rev 76561
merged
desharna [Wed, 23 Nov 2022 09:54:53 +0100] rev 76560
added lemmas irrefl_on_subset and irreflp_on_subset