| Tue, 26 May 2020 22:45:05 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 26 May 2020 19:59:13 +0200 | wenzelm | discontinued pointless document antiquotation; | changeset | files |
| Tue, 26 May 2020 12:09:36 +0200 | wenzelm | proper check of example; | changeset | files |