| Sun, 15 Mar 2015 19:21:15 +0100 | wenzelm | hybrid use of command blobs: inlined errors and auxiliary files; | file | diff | annotate |
| Sun, 15 Mar 2015 12:49:20 +0100 | wenzelm | more command categories, as in ML; | file | diff | annotate |
| Thu, 12 Mar 2015 20:34:08 +0100 | wenzelm | clarified command content; | file | diff | annotate |
| Thu, 08 Jan 2015 20:56:39 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 09 Dec 2014 21:14:11 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 03 Dec 2014 14:04:38 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 02 Dec 2014 14:16:56 +0100 | wenzelm | node-specific syntax, with base_syntax as default; | file | diff | annotate |