wenzelm [Mon, 04 Oct 2021 14:07:15 +0200] rev 74822
formal comment concerning 83d2208252d1 vs. d8dc8fdc46fc;
wenzelm [Mon, 04 Oct 2021 14:02:11 +0200] rev 74821
more NEWS and CONTRIBUTORS;
wenzelm [Mon, 04 Oct 2021 13:53:41 +0200] rev 74820
clarified comments;
wenzelm [Mon, 04 Oct 2021 13:39:38 +0200] rev 74819
support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing);
wenzelm [Mon, 04 Oct 2021 13:32:34 +0200] rev 74818
clarified dependencies;
desharna [Mon, 20 Sep 2021 14:24:11 +0200] rev 74817
added offset to Mirabelle's tptp output names
desharna [Mon, 04 Oct 2021 10:17:11 +0200] rev 74816
tuned zipperposition config in sledgehammer
desharna [Mon, 04 Oct 2021 10:16:42 +0200] rev 74815
considered slices overhead in sledgehammer
desharna [Wed, 29 Sep 2021 16:48:23 +0200] rev 74814
tuned atp_prover sliding
desharna [Wed, 29 Sep 2021 16:47:53 +0200] rev 74813
tuned Zipperposition slides in sledgehammer