| Sun, 10 Mar 2019 21:12:29 +0100 | wenzelm | document markers are formal comments, and may thus occur anywhere in the command-span; | file | diff | annotate |
| Sun, 10 Mar 2019 00:21:34 +0100 | wenzelm | added semantic document markers; | file | diff | annotate |
| Wed, 25 Oct 2017 11:35:48 +0200 | wenzelm | uniform system name; | file | diff | annotate |
| Mon, 07 Nov 2016 19:09:10 +0100 | wenzelm | more uniform path syntax, as in ML (see 5a7c919a4ada); | file | diff | annotate |
| Mon, 11 Jul 2016 18:18:24 +0200 | wenzelm | tunes signature; | file | diff | annotate |
| Wed, 13 Apr 2016 18:01:05 +0200 | wenzelm | eliminated "xname" and variants; | file | diff | annotate |
| Wed, 13 Apr 2016 11:31:13 +0200 | wenzelm | clarified syntax; | file | diff | annotate |