| 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 |
| Fri, 06 Jan 2023 15:35:48 +0100 | wenzelm | tuned comments; | changeset | files |