isabelle: Changelog

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'

wenzelm [Fri, 25 Mar 2022 13:25:26 +0100] rev 75338

updated vscode_extension;

blanchet [Fri, 25 Mar 2022 10:45:47 +0100] rev 75337

added parentheses in TPTP output -- seem necessary for some provers

isabelle