| 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 |
| Tue, 01 Feb 2022 11:51:41 +0100 | blanchet | handle TPTP '!=' more gracefully in Isar proof reconstruction | changeset | files |
| Tue, 01 Feb 2022 10:58:09 +0100 | blanchet | guard against duplicate lines in Zipperposition proofs | changeset | files |