| Sat, 07 Dec 2024 23:40:29 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 07 Dec 2024 23:50:18 +0100 | wenzelm | clarified term positions and markup: syntax = true means this is via concrete syntax; | changeset | files |
| Sat, 07 Dec 2024 23:08:51 +0100 | wenzelm | tuned signature: more operations; | changeset | files |