| Tue, 02 Dec 2014 14:16:56 +0100 | wenzelm | node-specific syntax, with base_syntax as default; | file | diff | annotate |
| Mon, 01 Dec 2014 15:21:49 +0100 | wenzelm | more merge operations; | file | diff | annotate |
| Fri, 07 Nov 2014 23:35:13 +0100 | wenzelm | tuned outline; | file | diff | annotate |