| Sun, 23 Jun 2013 21:23:36 +0200 | wenzelm | proper diagnostic command 'print_state'; | file | diff | annotate |
| Tue, 18 Jun 2013 15:15:36 +0200 | wenzelm | more on built-in syntax transformations, based on reduced version of old material; | file | diff | annotate |
| Tue, 18 Jun 2013 12:21:57 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |