| Sat, 30 Oct 2010 16:33:58 +0200 | wenzelm | support for real valued configuration options; | file | diff | annotate |
| Fri, 29 Oct 2010 11:49:56 +0200 | wenzelm | eliminated obsolete \_ escapes in rail environments; | file | diff | annotate |
| Sat, 06 Mar 2010 15:39:16 +0100 | wenzelm | eliminated Args.bang_facts (legacy feature); | file | diff | annotate |
| Thu, 12 Mar 2009 00:02:30 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Mon, 09 Mar 2009 21:25:33 +0100 | wenzelm | markup antiquotation options; | file | diff | annotate |
| Thu, 05 Mar 2009 01:55:38 +0100 | wenzelm | updated generated file -- changed since @{ML} now ignores source flag; | file | diff | annotate |
| Sat, 28 Feb 2009 17:09:32 +0100 | wenzelm | updated generated files; | file | diff | annotate |