| Sun, 30 Mar 2025 20:20:27 +0200 | haftmann | tuned | file | diff | annotate |
| Sun, 30 Mar 2025 13:50:06 +0200 | haftmann | tuned namespace organisation | file | diff | annotate |
| Sun, 30 Mar 2025 11:21:34 +0200 | haftmann | proper markup for target language code | file | diff | annotate |
| Sun, 01 Dec 2024 14:01:47 +0100 | wenzelm | clarified signature: more operations; | file | diff | annotate |
| Wed, 11 Sep 2024 20:06:12 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 11 Sep 2024 20:05:09 +0200 | wenzelm | more robust: global ML name space for markup elements; | file | diff | annotate |
| Wed, 11 Sep 2024 12:32:11 +0200 | wenzelm | clarified signature and modules; | file | diff | annotate |