| Fri, 25 Mar 2022 13:52:23 +0100 | blanchet | cleaned up obsolete E setup and a bit of SPASS | changeset | files |
| Fri, 25 Mar 2022 13:52:23 +0100 | blanchet | second and last step in making time slicing more flexible in Sledgehammer: try to honor desired slice size | changeset | files |
| Fri, 25 Mar 2022 13:52:23 +0100 | blanchet | first step in making time slicing more flexible in Sledgehammer: label slices with 'slice size' | changeset | files |
| Fri, 25 Mar 2022 13:25:26 +0100 | wenzelm | updated vscode_extension; | changeset | files |
| Fri, 25 Mar 2022 10:45:47 +0100 | blanchet | added parentheses in TPTP output -- seem necessary for some provers | changeset | files |
| Thu, 24 Mar 2022 23:54:40 +0100 | wenzelm | merged | changeset | files |
| Thu, 24 Mar 2022 23:33:55 +0100 | wenzelm | provide pre-built vscodium-1.65.2 for all platforms; | changeset | files |
| Thu, 24 Mar 2022 22:35:47 +0100 | wenzelm | tuned; | changeset | files |