Tue, 13 Jul 2021 10:57:14 +0200 | blanchet | wait for E 2.7 before using 'ite' in HO mode | changeset | files |
Tue, 13 Jul 2021 10:57:14 +0200 | blanchet | added alternative E binary name | changeset | files |
Mon, 12 Jul 2021 16:30:17 +0200 | blanchet | parse logical operators in the right order w.r.t. backtracking | changeset | files |