| Wed, 29 Mar 2023 15:02:09 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 29 Mar 2023 14:59:55 +0200 | wenzelm | tuned output; | changeset | files |
| Wed, 29 Mar 2023 14:52:54 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 29 Mar 2023 14:22:01 +0200 | wenzelm | clarified modules; | changeset | files |
| Wed, 29 Mar 2023 12:25:24 +0200 | wenzelm | tuned comments (amending 1951f6470792); | changeset | files |
| Wed, 29 Mar 2023 12:24:50 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 29 Mar 2023 12:05:56 +0200 | wenzelm | discontinue somewhat pointless is_single, which also depends on details of internal data representation; | changeset | files |