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 |