| Wed, 02 Oct 2024 14:23:28 +0200 | wenzelm | more syntax: avoid duplication in AFP; | changeset | files |
| Wed, 02 Oct 2024 13:34:03 +0200 | wenzelm | clarified abbreviation; | changeset | files |
| Wed, 02 Oct 2024 11:27:19 +0200 | wenzelm | tuned whitespace; | changeset | files |