wenzelm [Wed, 09 Nov 2022 13:21:18 +0100] rev 76489
clarified Log_Progress vs. GUI: more like Syslog_Dockable;
wenzelm [Wed, 09 Nov 2022 12:32:20 +0100] rev 76488
clarified signature: more public operations;
wenzelm [Wed, 09 Nov 2022 12:05:32 +0100] rev 76487
tuned signature, following hints by IntelliJ IDEA;
nipkow [Tue, 08 Nov 2022 08:41:48 +0100] rev 76486
merged
nipkow [Tue, 08 Nov 2022 08:41:29 +0100] rev 76485
retain derived lemma for better findability
nipkow [Mon, 07 Nov 2022 22:16:37 +0100] rev 76484
generalized sorted_sort_id to sort_key_id_if_sorted
wenzelm [Mon, 07 Nov 2022 21:53:36 +0100] rev 76483
suppress document_required GUI element for now: still unused;
wenzelm [Mon, 07 Nov 2022 21:51:14 +0100] rev 76482
clarified layout;
wenzelm [Mon, 07 Nov 2022 21:32:09 +0100] rev 76481
clarified node_required status: distinguish theory_required vs. document_required;
more robust and more correct Geometry.in operation;
wenzelm [Sun, 06 Nov 2022 23:10:28 +0100] rev 76480
proper user tool;