| Fri, 29 Oct 2021 19:49:11 +0200 | wenzelm | recursive find_eq, not find_dist; | changeset | files |
| Fri, 29 Oct 2021 19:43:32 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Fri, 29 Oct 2021 19:17:24 +0200 | wenzelm | clarified antiquotations; | changeset | files |