| Mon, 21 Oct 2024 22:28:07 +0200 | wenzelm | notable performance tuning (amending a59d9b81be24 and 8976c5bc9e97): avoid costly could_beta_eta_contract, which traverses the whole term; | changeset | files |
| Mon, 21 Oct 2024 20:02:27 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 21 Oct 2024 14:50:59 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 21 Oct 2024 14:33:59 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 21 Oct 2024 11:55:51 +0200 | wenzelm | support multiple positions (non-empty list); | changeset | files |
| Sun, 20 Oct 2024 22:40:18 +0200 | wenzelm | more robust syntax translation; | changeset | files |