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 |