| Fri, 04 Nov 2022 19:59:00 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 04 Nov 2022 19:57:21 +0100 | wenzelm | proper chapter (amending 809cd1195795); | changeset | files |
| Fri, 04 Nov 2022 18:59:54 +0100 | wenzelm | merged | changeset | files |
| Fri, 04 Nov 2022 17:35:21 +0100 | wenzelm | tuned (again); | changeset | files |
| Fri, 04 Nov 2022 17:17:05 +0100 | wenzelm | prefer strict operation (see also f29056da5903); | changeset | files |
| Fri, 04 Nov 2022 17:14:41 +0100 | wenzelm | more antiquotations; | changeset | files |
| Fri, 04 Nov 2022 17:11:48 +0100 | wenzelm | tuned; | changeset | files |