isabelle: Changelog

wenzelm [Fri, 25 Mar 2022 17:08:32 +0100] rev 75349

tuned signature;

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

isabelle