| Sun, 28 Nov 2010 16:15:31 +0100 | wenzelm | added 'syntax_declaration' command; | file | diff | annotate |
| Fri, 29 Oct 2010 16:16:10 +0200 | wenzelm | eliminated obsolete \_ escape; | file | diff | annotate |
| Fri, 29 Oct 2010 11:49:56 +0200 | wenzelm | eliminated obsolete \_ escapes in rail environments; | file | diff | annotate |
| Thu, 28 Oct 2010 22:59:33 +0200 | wenzelm | tuned; | file | diff | annotate |