| Sun, 08 Dec 2024 11:49:55 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 08 Dec 2024 00:05:35 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 07 Dec 2024 23:40:29 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 07 Dec 2024 23:50:18 +0100 | wenzelm | clarified term positions and markup: syntax = true means this is via concrete syntax; | file | diff | annotate |
| Sat, 07 Dec 2024 21:42:59 +0100 | wenzelm | clarified signature: more explicit operations; | file | diff | annotate |
| Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |