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'
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
wenzelm [Thu, 24 Mar 2022 23:54:40 +0100] rev 75336
merged
wenzelm [Thu, 24 Mar 2022 23:33:55 +0100] rev 75335
provide pre-built vscodium-1.65.2 for all platforms;
wenzelm [Thu, 24 Mar 2022 22:35:47 +0100] rev 75334
tuned;
wenzelm [Thu, 24 Mar 2022 22:27:17 +0100] rev 75333
provide vscode_extension via component, thus users don't need Node.js development tools;
proper default for edit_extension;
tuned messages;
wenzelm [Thu, 24 Mar 2022 20:45:14 +0100] rev 75332
clarified options;
tuned messages;