| Thu, 29 Jan 2009 09:46:36 +0000 | Christian Urban | polishing | file | diff | annotate |
| Tue, 27 Jan 2009 21:22:27 +0000 | Christian Urban | better handling of {* and *} | file | diff | annotate |
| Mon, 26 Jan 2009 01:10:21 +0000 | Christian Urban | changed definition of graybox | file | diff | annotate |
| Fri, 16 Jan 2009 14:57:36 +0000 | Christian Urban | tuned | file | diff | annotate |