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
wenzelm [Mon, 05 Dec 2022 15:19:52 +0100] rev 76558
tuned messages;
wenzelm [Mon, 05 Dec 2022 14:47:08 +0100] rev 76557
tuned message;
wenzelm [Mon, 05 Dec 2022 12:17:56 +0100] rev 76556
tuned messages and options;
desharna [Sun, 04 Dec 2022 18:49:58 +0100] rev 76555
merged
desharna [Mon, 21 Nov 2022 18:24:55 +0100] rev 76554
removed prod_set_conv attribute from top_empty_eq and top_empty_eq2
wenzelm [Sun, 04 Dec 2022 14:24:42 +0100] rev 76553
discontinued "unzip" executable (see also eb96243a25c5 and 662de910a96b);
wenzelm [Sun, 04 Dec 2022 14:15:12 +0100] rev 76552
more direct access to jEdit jar resources, without unzip;
wenzelm [Thu, 01 Dec 2022 11:36:45 +0100] rev 76551
clarified check: allow to remove bad directories;
wenzelm [Thu, 01 Dec 2022 11:32:59 +0100] rev 76550
clarified check;
tuned message;