| Tue, 22 Oct 2024 21:29:44 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 22 Oct 2024 20:53:54 +0200 | wenzelm | proper treatment of position constraints; | changeset | files |
| Tue, 22 Oct 2024 20:05:23 +0200 | wenzelm | more liberal ast matching, notably for case-translations in HOLCF that operate on logical consts rather than syntax consts; | changeset | files |
| Tue, 22 Oct 2024 19:46:05 +0200 | wenzelm | more parser markup, based on position constraints for logical mixfix syntax; | changeset | files |
| Tue, 22 Oct 2024 19:26:40 +0200 | wenzelm | more concise representation of term positions; | changeset | files |
| Tue, 22 Oct 2024 13:39:24 +0200 | wenzelm | more robust; | changeset | files |