| Fri, 06 Feb 2009 06:19:52 +0000 | Christian Urban | tuned | file | diff | annotate |
| 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 |
| Tue, 27 Jan 2009 17:50:08 +0000 | Christian Urban | some polishing | file | diff | annotate |
| Mon, 26 Jan 2009 16:09:02 +0000 | Christian Urban | polished | file | diff | annotate |
| Mon, 26 Jan 2009 12:29:43 +0000 | Christian Urban | tuned | file | diff | annotate |