| Fri, 06 Jan 2023 16:54:16 +0100 | wenzelm | tuned signature: avoid alias that is unclear wrt. lazy state and Symbol.encode/decode status; | changeset | files |
| Fri, 06 Jan 2023 16:50:43 +0100 | wenzelm | removed unused operation: unclear wrt. Symbol.encode/decode status; | changeset | files |
| Fri, 06 Jan 2023 16:43:51 +0100 | wenzelm | tuned signature: more uniform operations; | changeset | files |