wenzelm [Fri, 25 Mar 2022 17:00:12 +0100] rev 75348
tuned signature;
clarified modules;
wenzelm [Fri, 25 Mar 2022 16:41:03 +0100] rev 75347
tuned text, without update of component for now;
wenzelm [Fri, 25 Mar 2022 16:40:48 +0100] rev 75346
omit somewhat pointless integrity check;
wenzelm [Fri, 25 Mar 2022 16:35:15 +0100] rev 75345
tuned;
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75344
compile TPTP module
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75343
compile mirabelle
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75342
further modernized E setup
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75341
cleaned up obsolete E setup and a bit of SPASS
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75340
second and last step in making time slicing more flexible in Sledgehammer: try to honor desired slice size
blanchet [Fri, 25 Mar 2022 13:52:23 +0100] rev 75339
first step in making time slicing more flexible in Sledgehammer: label slices with 'slice size'