| 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 |
| 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 |