| Fri, 05 May 2023 22:57:10 +0200 | wenzelm | more complete accesses for "extern" operation, notably for aliases; | changeset | files |
| Fri, 05 May 2023 15:56:12 +0200 | wenzelm | more explicit entries for aliases, with proper checks in "strict" mode (e.g. for logical entities); | changeset | files |
| Fri, 05 May 2023 12:34:23 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 05 May 2023 12:17:29 +0200 | wenzelm | tuned; | changeset | files |