| Tue, 01 Feb 2022 17:11:26 +0100 | blanchet | propagate right result when enough proofs have been found | changeset | files |
| Tue, 01 Feb 2022 16:16:50 +0100 | blanchet | correctly parse E proofs that assume '=' and '!=' bind more tightly than connectives | changeset | files |
| Tue, 01 Feb 2022 14:54:31 +0100 | blanchet | don't lose error messages | changeset | files |
| Tue, 01 Feb 2022 12:49:14 +0100 | blanchet | don't pass --auto-schedule to E indiscriminately -- use it instead of 'auto' in one slice | changeset | files |
| Tue, 01 Feb 2022 12:48:33 +0100 | blanchet | careful with partial applications | changeset | files |
| Tue, 01 Feb 2022 12:32:33 +0100 | blanchet | don't perform preplaying steps if preplaying is disabled | changeset | files |
| Tue, 01 Feb 2022 12:14:43 +0100 | blanchet | adjust TPTP THF parser to give priority to @ over other operators, to parse Ehoh proofs | changeset | files |
| Tue, 01 Feb 2022 11:52:40 +0100 | blanchet | tuned punctuation | changeset | files |