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
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;
wenzelm [Thu, 01 Dec 2022 11:30:51 +0100] rev 76549
tuned message;
wenzelm [Wed, 30 Nov 2022 22:07:59 +0100] rev 76548
tuned signature;
wenzelm [Wed, 30 Nov 2022 21:53:55 +0100] rev 76547
tuned signature;
wenzelm [Wed, 30 Nov 2022 21:36:06 +0100] rev 76546
proper unzip with strip option, within the JVM;
tuned component build process;
wenzelm [Wed, 30 Nov 2022 15:53:21 +0100] rev 76545
updated to sqlite-jdbc-3.39.4.1;
clarified directory layout;
wenzelm [Wed, 30 Nov 2022 15:38:58 +0100] rev 76544
more standard component build process;
wenzelm [Wed, 30 Nov 2022 15:32:25 +0100] rev 76543
clarified signature: prefer Scala functions instead of shell scripts;
wenzelm [Wed, 30 Nov 2022 15:19:57 +0100] rev 76542
tuned;
wenzelm [Wed, 30 Nov 2022 15:14:21 +0100] rev 76541
more direct target directory;
wenzelm [Wed, 30 Nov 2022 15:03:31 +0100] rev 76540
clarified signature: prefer Scala functions instead of shell scripts;